function redirect(pulldown)
{
  var newLocation = pulldown[pulldown.selectedIndex].value;
  if (newLocation != "")
    self.location = newLocation;
}

function resetIfBlank(pulldown)
{
  var possibleNewLocation = pulldown[pulldown.selectedIndex].value;
  if (possibleNewLocation == "")
    pulldown.selectedIndex = 0; 
}