var bMouseOverMenu = false;
var nTimerID;
function showMenu(sMenu)
{
	document.getElementById(sMenu).style.visibility = "visible";
}
function doHideAllMenus()
{
	nTimerID = setTimeout("hideAllMenus()", 1000);
}
function hideAllMenus()
{
	clearTimeout(nTimerID);
	if (!bMouseOverMenu)
	{
		document.getElementById("AppMenu").style.visibility = "hidden";
	}
}
function setMouseOverMenu(b)
{
	clearTimeout(nTimerID);
	bMouseOverMenu = b;
	if (!b)
	{
		doHideAllMenus();
	}
}