function jump(pulldown) {
 idx = pulldown.selectedIndex;
 if (pulldown.options) {
 URL = pulldown.options[idx].value;
 if (URL != "") {
 window.location.href = URL;
 }
 }
}




function popUp(URL) {
day = new Date();
id = day.getTime();
eval("page" + id + " = window.open(URL, '" + id + "', 'toolbar=0,scrollbars=0,location=0,statusbar=1,menubar=0,resizable=0,width=550,height=400,left = 365,top = 312');");
}