var ident;

function HideMenus() {
	document.getElementById('menu1').style.visibility = 'hidden';
	document.getElementById('menu2').style.visibility = 'hidden';
	document.getElementById('menu3').style.visibility = 'hidden';
	document.getElementById('menu4').style.visibility = 'hidden';
	document.getElementById('menu5').style.visibility = 'hidden';
}
function StartTimer() {
	ident=window.setTimeout("HideMenus()",500);
}
function StopTimer() {
	window.clearTimeout(ident);
}