function revealMenu(menu)
{
	document.getElementById(menu).style.visibility="visible";
};

function hideMenu(menu)
{
	document.getElementById(menu).style.visibility="hidden";
};