function jumpPage(newLoc) {
  newPage = newLoc.options[newLoc.selectedIndex].value
  if (newPage !="") {
    window.location.href = newPage
  }
}

function externalLinks() { 
  if (!document.getElementsByTagName) return; 
  var anchors = document.getElementsByTagName("a"); 
  for (var i=0; i<anchors.length; i++) { 
    var anchor = anchors[i]; 
    if (anchor.getAttribute("href") && 
      anchor.getAttribute("rel") == "external") 
      anchor.target = "_blank"; 
  } 
} 
window.onload = externalLinks;