function changeDisplay(choice){
       // don't do anything if no option was selected
       if (choice == ""){return;}
       var URL =
       document.form.pages.options[document.form.pages.selectedIndex].value;
       window.location.href = URL;
}

function mo(id,name){
 if (document.images) {
 document.images[id].src=eval(name+".src");
 }
}

function wo(url, name, bits) {
       newWin=window.open(url, name, bits);
       newWin.focus();
}