function go(){location=document.selecter.r.options[document.selecter.r.selectedIndex].value}function nav_box_start(){document.write('<form name="selecter">Goto: <select name="r" onchange="go();">')}function nav_box_end(){document.write("</select></form>")}function make_opt(c,b,a){document.write('<option value="'+b+'"');if(b==a){document.write(' selected="selected"')}document.write(">"+c+"</option>")};