// Function: jumpMenu()
// Purpose:  Uses a list menu to jump to links on or off the current page
function jumpMenu()
{
   box = document.forms(0).jumpmenu
   destination = box.options(box.selectedIndex).value;
   if (destination) location.href = destination;
}