var gsLastMnu = ""
  var gMnuInterval = 0;
  function showHeaderMenu(sMnuName, bShow) {
    var oMnu = document.getElementById(sMnuName)
    clearInterval(gMnuInterval);

    if (oMnu) {
      if (bShow == null) bShow = !(oMnu.style.display == "")
      if (bShow) {
        oMnu.style.display = ""
        if (oMnu.focus)
          oMnu.focus()

        if ((sMnuName != gsLastMnu) && (gsLastMnu != ""))
        {
          showHeaderMenu(gsLastMnu, false)
        }
          
        gsLastMnu = sMnuName;
      }
      else {
        oMnu.style.display = "none"
      }
    }
    
    return false
  }
  
  function clearHeaderMenu() {
    clearInterval(gMnuInterval);
  }
  
  function hideHeaderMenu(sMnuName) {
    gMnuInterval = setTimeout("showHeaderMenu('" + sMnuName + "',false)", 3000);
  }