function switchpage(select) {
       // JavaScript function for switching to web page when user
       // selects option from the given list box.
       // Copyright Kelly Yancey, 1997, 1998.
         var index;

         for(index=0; index<select.options.length; index++)
           if(select.options[index].selected)
             {
               if(select.options[index].value!="")
                 window.location.href=select.options[index].value;
               break;
             }
       }
       // -->