function searchSelected()		{
  var numSel = document.jumpForm.jumpName.selectedIndex;
  var locSel=document.jumpForm.jumpName.options[numSel].value;
  window.location=locSel;}