var timeout = 1000;
    var closetimer = 0;
    var activemenu = 0;

    function mOpen(id) {
      mHaltClose();
      mClose();
      activemenu = document.getElementById(id);
      activemenu.style.visibility = 'visible';
    }

    function mClose() {
      if (activemenu) activemenu.style.visibility = "hidden";
    }

    function mHaltClose() {
      if (closetimer) {
        window.clearTimeout(closetimer);
        closetimer = null;
      }
    }

    function mTimeout() {
      closetimer = window.setTimeout(mClose, timeout);
    }