var menuTimer;

function ShowMenu(divID) {
  HideAllMenus();
  clearTimeout(menuTimer);
  
  var div = document.getElementById(divID);
  if(div)
    div.style.visibility = "visible";
}

function HideMenu(divID) {
  menuTimer = setTimeout("HideMenuNow('" + divID + "')", 500);
}

function HideMenuNow(divID) {
  var div = document.getElementById(divID);
  if(div)
    div.style.visibility = "hidden";
}

function HideAllMenus() {
  for(i = 0; i < menuIDs.length; i++)
    HideMenuNow(menuIDs[i]);
}