// jumpto-fromroot.js - change URL to an address selected from a drop-down list
// (copied from jumpto.js, but with all "../" changed to "./")

function jumpto()
{
 var URL = document.getElementById("site").options[document.getElementById("site").selectedIndex].value;
 window.location.href = URL;
}

document.writeln('  <select id="site" size="1" onchange="javascript:jumpto()">'
                 +'   <option value="">Select page...</option>'
                 +'   <option value=""> --------------- </option>'
                 +'   <option value="./index.html">Home (Travel)</option>'
                 +'   <option value="./index.htm">Home (All)</option>'
                 +'   <option value=""> --------------- </option>'
                 +'   <option value="./pages/help.htm">Help</option>'
                 +'   <option value="./pages/sitemap.htm">Site Map</option>'
                 +'   <option value="./pages/copyright.htm">Copyright</option>'
                 +'   <option value="./pages/contact.htm">Contact/option>'
                 +'  </select>');