<!--

function hyperJump(url) {
  if (url == "") {
    document.menu.reset();
    document.menu.yourChoice.blur();
    return;
  } else {
    document.location.href = url;
    document.menu.reset();
    document.menu.yourChoice.blur();
  }
}

function hyperJumpWindow(url) {
  if (url == "") {
    document.menu.reset();
    document.menu.yourChoice.blur();
    return;
  } else {
    NewWin = window.open(url,"MyWin");   
    document.menu.reset();
    document.menu.yourChoice.blur();
    NewWin.focus();
  }
}

//-->