function marktab(tabname)
{
	document.getElementById(tabname).style.backgroundColor="#cccccc"; 
	document.getElementById(tabname).style.color="#993333";
};