var ident;
function ShowMenu(num) {
	StopTimer();
	HideMenus();
	if (num==1) document.getElementById('menu1').style.visibility = 'visible';
}
function HideMenus() {
	document.getElementById('menu1').style.visibility = 'hidden';
}
function StartTimer() {
	ident=window.setTimeout("HideMenus()",500);
}
function StopTimer() {
	window.clearTimeout(ident);
}