var ident;
function ShowMenu(num) {
	StopTimer();
	HideMenus();
	document.getElementById('menu' + num).style.visibility = 'visible';

}
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';
}
function StartTimer() {
	ident=window.setTimeout("HideMenus()",100);
}
function StopTimer() {
	window.clearTimeout(ident);
}