<!--
function tabfocus(tabid)
{
	document.getElementById(tabid).className = 'current';
}
// -->