var thisTab=0;
function highlight(num)
{
	if (num != thisTab)
	{
		document.getElementById('tab'+num).style.backgroundColor='#ffffff';		
		document.getElementById('tab'+num).style.color='red';
	}
}

function lowlight(num) {
	if (num != thisTab)
	{
		document.getElementById('tab'+num).style.backgroundColor='#eeeeee';		
		document.getElementById('tab'+num).style.color='#000000';
	}
}
function goto(num)
{
	return thisTab==num ? false : true;
}
function init()
{
	highlight(0);
	thisTab=0;	
}