<!--
 document.write('<FORM><p><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!"></p>');
    document.write('</FORM>');
//-->

