function hideMenu(menu)
{
document.getElementById(menu).style.display="none";
}
function showMenu(menu)
{
document.getElementById(menu).style.display="inline";
}