function jumpMenu(theSelect) {
  if(theSelect.options[theSelect.selectedIndex].value) {
    window.location = theSelect.options[theSelect.selectedIndex].value;
  }
}