function showmenu(ident){clearTimeout(window['menutimeout'+ident]);obj=document.getElementById(ident);obj.style.visibility='visible';obj.style.display='';}
function hidemenu(ident){window['menutimeout'+ident]=setTimeout("hidemenu_timout('"+ident+"')",10);}
function hidemenu_timout(ident){obj=document.getElementById(ident);obj.style.visibility='hidden';obj.style.display='none';}