function menuAct(obj) {
  obj.style.orgBorderColor = obj.style.borderColor;
  obj.style.borderColor = 'red';
}

function menuInact(obj) {
  obj.style.borderColor = obj.style.orgBorderColor;
}

function MM_displayStatusMsg(msgStr) {
  status = msgStr;
  document.MM_returnValue = true;
}

//Steve Ting, 2001-03-14
function MM_openBrWindow(theURL,winName,features) { //v2.0
  window.open(theURL,winName,features);
}