var inmenu=false; var lastmenu=0; function Menu(current) { if (!document.getElementById) 
return; inmenu=true; oldmenu=lastmenu; lastmenu=current; if (oldmenu) Erase(oldmenu); 
m=document.getElementById("menu-" + current); box=document.getElementById(current); 
box.style.left= m.offsetLeft+203; box.style.top= m.offsetTop + m.offsetHeight+13; 
box.style.visibility="visible"; m.style.backgroundColor="white"; box.style.backgroundColor="white"; 
box.style.width="80px";box.style.border="1px solid #000000"; } function Erase(current) { if (!document.getElementById) 
return; if (inmenu && lastmenu==current) { return; } m=document.getElementById("menu-" 
+ current); box=document.getElementById(current); box.style.visibility="hidden"; 
m.style.backgroundColor="white"; } function Timeout(current) { inmenu=false; window.setTimeout("Erase('" 
+ current + "');", 500); } function Highlight(menu,item) { if (!document.getElementById) 
return; inmenu=true; lastmenu=menu; obj=document.getElementById(item); obj.style.backgroundColor="black"; 
} function UnHighlight(menu,item) { if (!document.getElementById) return; Timeout(menu); 
obj=document.getElementById(item); obj.style.backgroundColor="white"; }