menu_open = "";

function menu(menuid)
{
if (menu_open != "")
{
document.getElementById(menu_open).style.display="none";
menu_open = menuid;
}
else
{
menu_open = menuid;
}
document.getElementById(menuid).style.display="inline";
}