//Menu functions

var menuHiding = null
 	
function ShowBarMenu(menu)
{
	
	clearTimeout(menuHiding);
				
	var menuObject = document.getElementById(menu);
	if (menuObject)
		menuObject.style.visibility = "visible";

}

function HideBarMenu(menu)
{
	var menuObject = document.getElementById(menu);
	
	if (menuObject)
	{
		menuObject.style.visibility = "hidden";
	}

}



