function showMenu() {
  if (document.getElementById) {
    menuDiv1 = document.getElementById("menuDiv");
    menuDiv1.style.visibility="visible";
  }
}

function hideMenu() {
  if (document.getElementById) {
    menuDiv1 = document.getElementById("menuDiv");
    menuDiv1.style.visibility="hidden";
  }
}