<!--//

// ------------------------------------------
// Executed when mouse rolls over a menu item

function on(loc)
{
loc.style.backgroundColor="#618FE4";
}

// ------------------------------------------
// Executed when mouse rolls off a menu item

function off(loc)
{
loc.style.backgroundColor="#222222";
}

// ------------------------------------------
// Hides all menus

function hideMenus() {
  if (dom1) {
    for (var n=1; n<=numMenus; n++) {
      var menuOff = document.getElementById("menu"+n);
      menuOff.style.display = 'none';
    }
  }
  else {
    for (var n=1; n<=numMenus; n++) {
      var menuOff = eval('document.all.menu'+n);
      menuOff.style.display = 'none';
    }
  }
}

// ------------------------------------------
// Hides all menus then shows the menu specified in menuNum

function hideAllExcept(menuNum) {
  
  if (dom1) {
    for (var n=1; n<=numMenus; n++) {
      if (n != menuNum) {
        var menuOff = document.getElementById("menu"+n);
        menuOff.style.display = 'none';
      }
    }
  }
  else {
    for (var n=1; n<=numMenus; n++) {
      if (n != menuNum) {
        var menuOff = eval('document.all.menu'+n);
        menuOff.style.display = 'none';
      }
    }
  }

  if (dom1) {
    var menuOn = document.getElementById("menu"+menuNum);
    menuOn.style.display = 'block';
  }
  else {
    var menuOn = eval('document.all.menu'+menuNum);
    menuOn.style.display='block';
  }

}

//-->