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.visibility="visible";
   m.style.backgroundColor="#9bbad6";        <!--- main menu during mouse over & while mouse on sub menu --->
   box.style.backgroundColor="white";       <!--- sub menu during mouse over of main menu--->
   box.style.borderWidth="thin"; 
   box.style.left= parseInt(event.x -25);
   box.style.top= parseInt(m.offsetTop + m.offsetHeight + 177);
   box.style.borderColor="silver";
   box.style.borderStyle="solid";
   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="white";         <!--- main menu after mouse over --->
}
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.color="#996600";
   obj.style.backgroundColor="white";     <!--- sub menu during mouse over of sub menu--->
}
function UnHighlight(menu,item) {
   if (!document.getElementById) return;
   Timeout(menu);
   obj=document.getElementById(item);
   obj.style.backgroundColor="white";      <!--- sub menu after mouse over of sub menu--->
}