var marx=0;
var timeout = 100; var closetimer = 0; var ddmenuitem = 0; function mopen(id)
{ mcancelclosetime(); if(ddmenuitem) ddmenuitem.style.visibility = 'hidden'; ddmenuitem = document.getElementById(id); ddmenuitem.style.visibility = 'visible';}
function mclose()
{ if(ddmenuitem) ddmenuitem.style.visibility = 'hidden';}
function mclosetime()
{ closetimer = window.setTimeout(mclose, timeout);}
function mclosetimeslow()
{ closetimer = window.setTimeout(mclose, 100);}
function mcancelclosetime()
{ if(closetimer)
{ window.clearTimeout(closetimer); closetimer = null;}
}