<!--
function warp(){
window.location=document.find.locations.options[document.find.locations.selectedIndex].value
}

function randomPh() {
  var range = 5;
  return Math.floor(Math.random() * range) + 1;
}
// -->