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