var timer;
function StartTimeOut(){ timer = setTimeout('menuhide()', 1000);}

function menuhide(){
	for(var i=1;i<=4;i++){
		var currentmenu = document.getElementById("navbody" + i);
		currentmenu.style.visibility = 'hidden';
	}
	clearTimeout(timer)
}

function menushow(menunum){
	var currentmenu = document.getElementById("navbody" + menunum);
	currentmenu.style.visibility = 'visible';
}