//-- 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(" ") document.write(" ") document.write(" ") document.write(" ") document.write(" ") document.write(" ") document.write(" ") document.write(" ") document.write(" ") document.write("
   
   ") document.write("
")