function showNavMenu(number) {
      var number;
         document.getElementById("navbox_contents_"+number).style.display = "block";
      }
      function hideNavMenu(number) {
        var number;
            document.getElementById("navbox_contents_"+number).style.display = "none";
      }