<!--
function redirect(pulldown) {
   newlocation = pulldown
[pulldown.selectedIndex].value;
    if (newlocation != "")
    top.location = newlocation;
}

function resetIfBlank(pulldown){
  possiblenewlocation = pulldown
[pulldown.selectedIndex].value;
   if (possiblenewlocation == "")
pulldown.selectedIndex = 0; /* reset to start since no movement */
}
//-->