<!--
function switchtab(divID) {		
	document.getElementById('tab_body1').style.display = "none";
	document.getElementById('tab_body2').style.display = "none";
	document.getElementById('tab_body3').style.display = "none";
	document.getElementById(divID).style.display = "block";
}
-->