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; box.style.top= m.offsetTop + m.offsetHeight; box.style.visibility="visible"; m.style.backgroundColor="#FFFFFF"; box.style.backgroundColor="#FFFFFF"; box.style.width="100px";}
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="#FFFFFF";}
function Timeout(current)
{inmenu=false; window.setTimeout("Erase('" + current + "');",100);}
function Highlight(menu,item)
{if (!document.getElementById) return; inmenu=true; lastmenu=menu; obj=document.getElementById(item);}
function UnHighlight(menu,item)
{if (!document.getElementById) return; Timeout(menu); obj=document.getElementById(item);}