// HoverMenu
  function showmenu(menu) {
    var menudiv = document.getElementById(menu);
    menudiv.style.visibility = "visible";
  }

  function hidemenu(menu) {
    var menudiv = document.getElementById(menu);
    menudiv.style.visibility = "hidden";
  }