// selectURL.js
// ------------
// Exports a function that goes to a url listed as an option in a select input
//
// Functions in this file:
//   selecturl(selectInput)
//
// Created by zaz@sri.com.
// Last modified by zaz@sri.com, 3/12/03.

// selectURL
// ---------
// Given a select input, goes to the url (the value) of the currently
// selected option.
//
// selectInput: the select input

function selectURL(selectInput) 
{
  var gourl = selectInput.options[selectInput.selectedIndex].value;

  if ((gourl != null) && (gourl != "")) {
    window.top.location.href = gourl;
  }
}