<!-- 
menuTimer=0;

function showOptions(object) {
	var i=1
	var numDivs=10
	for (i=1;i<=numDivs;i++)
	{
		document.getElementById('divCont'+i).style.visibility = "hidden"; 
	}
	document.getElementById(object).style.visibility = "visible"; 
}

function hide(numDivs) {
	var i=1
	for (i=1;i<=numDivs;i++)
	{
		document.getElementById('divCont'+i).style.visibility = "hidden"; 
	}
}

function clsTh() {
	menuTimer=setTimeout("hideOptions()",4000);
}

function hideOptions() {
	var i=1
	var numDivs=12
	for (i=1;i<=numDivs;i++)
	{
		document.getElementById('divCont'+i).style.visibility = "hidden"; 
	}
}

// End hiding script from older browsers 
-->