
var timeoutid;
var timeout = 300;
var previousmenu;

function MenuHide()
 {
  clearTimeout(timeoutid);
  timeoutid = setTimeout("document.getElementById('"+previousmenu+"').style.visibility = 'hidden'", timeout);
 }



function MenuShow(pElement)
 {
  clearTimeout(timeoutid);
  if (previousmenu)
   {
    document.getElementById(previousmenu).style.visibility = 'hidden';
   }
  document.getElementById(pElement).style.visibility = 'visible';
  previousmenu = pElement;
 }