<!--
 document.write('<FORM><p class=noin><SELECT NAME="menu" onChange="goPage(this.form)">');
         for (var i = 0; i < pages.length; i++) {
        document.write("<OPTION>" + pages[i]);
        }
    document.write('</SELECT>');
    if (navigator.userAgent.indexOf("Mozilla/2") != -1)
    document.write('<INPUT TYPE = BUTTON VALUE = "Jump!">');
    document.write('</p></FORM>');
//-->
