//-- routes jump menu contents
//-- this is just a bunch of write statements that builds the form and selection box for the jump box.
//--at the same time, it builds the nav bar table around the form, so that browsers that do not
//--suppor JavaScript will use the noscript tags in the html pages to display a simple routes button.
//--to add or delete a route from the menu, remove its entire listing, from "document.write" to ")"
document.write("
