var timehide = 7000; 
var timerID = 0;
var menu = "";
function showmenu(menuid)
{
	if(timerID!=0)
	{
		window.clearTimeout(timerID);
		timerID = 0;
	}
	if(menu!=menuid)
	{
		if(menu!="")
			document.getElementById(menu).style.visibility = "hidden";
		menu = menuid;
		if(menu!="")
			document.getElementById(menu).style.visibility = "visible";
	}
}

function hidemenu()
{
	timerID = window.setTimeout("showmenu('')",timehide);
}