function showmenu() {
    var menu = document.getElementById("hovermenu");
    menu.style.display = "block";
  }

  function hidemenu() {
    var menu = document.getElementById("hovermenu");
    menu.style.display = "none";
  }