var m;var t;var l;var j;function h(){clearTimeout(t);if(m==null){return;}m.style.visibility="hidden";}function doMenu(k,o){if(l==o){if((j=="hide")&(k=="show")){clearTimeout(t);}}else{h();}l=o;j=k;m=document.getElementById(o);if(k=="hide"){t=setTimeout("h()",500);}if(k=="show"&m!=null){m.style.visibility="visible";}}