function jumpto(what) {
selector = document.getElementById(what);
link = selector.options[selector.selectedIndex].value;
// document.write (what.getFirstChild());
if (link != ”)
{
/* Jump to the location that was set as the value of our menu item */
window.location.href = link;
}
}