// JavaScript Document

<!--
function Navigate() {
var number = NavSelect.selectedIndex;
location.href = NavSelect.options[number].value; }

//-->