//menu script
    var timeout=300;
    var closetimer=0;
    var thismenu=0;

    function openmenu(id) {
      cmt();
      if(thismenu) thismenu.style.visibility = 'hidden';
      thismenu = document.getElementById(id);
      thismenu.style.visibility = 'visible';
    }
    function closemenu() {
      if(thismenu) thismenu.style.visibility = 'hidden';
    }
    function timemenu() {  //start timer
      closetimer = window.setTimeout(closemenu, timeout);
    }
    function cmt() { //cancel timer
      if(closetimer) {
        window.clearTimeout(closetimer);
        closetimer = null;
      }
    }
    document.onclick = closemenu;