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 iindex;
  for(iindex=0; iindex<select.options.length; iindex++)
    if(select.options[iindex].selected)
      {
        if(select.options[iindex].value!="")
    window.location.href=select.options[iindex].value;
        break;
      }
}