function menuDisplay(menu){
  if (lastMenu) {
  	lastMenuSelector = document.getElementById(lastMenu);
    lastMenuSelector.className = 'off';
  }
  menuSelector = document.getElementById(menu);
  menuSelector.className = 'on';
  lastMenu = menu;
}

var lastMenu = null;
var menu = null;

function MM_openBrWindow(theURL,winName,features) { //v2.0
  window.open(theURL,winName,features);
}