// JavaScript Document - pull down menus
function redirect(pulldown) {
newlocation = pulldown[pulldown.selectedIndex].value;
if (newlocation != "")
self.location = newlocation;
}

function resetIfBlank(pulldown) {
possiblenewlocation = pulldown[pulldown.selectedIndex].value;
if (possiblenewlocation != "")
pulldown.selectedIndex = 0; /* reset to start */
}