var old='';
function menu(name)
{	submenu=eval("submenu_"+name+".style");
if(old!=submenu)
{if(old!='')
{old.display='none';}
submenu.display='block';
old=submenu;}
else
{submenu.display='none';
old='';}}