function displayMenu(divID) {
  if(document.getElementById(divID)) {
    document.getElementById(divID).style.display="block";
    menuOver = true;
  }
}

function hideMenu(divID) {
  if(document.getElementById(divID)) {
    menuOver=false;
    setTimeout("hideMenuNow('"+divID+"')",1000);
  }
}

function hideMenuNow(divID) {
  if(document.getElementById(divID)) {
    if(menuOver)
      setTimeout("hideMenuNow('"+divID+"')",1000);
    else
      document.getElementById(divID).style.display="none";
  }
}