        <!--
        // The select menu will be displayed wherever you place this code. 
        document.write('<FORM><SELECT NAME = "menu" onChange = "goPage(this.form)">');
        for (var i = 0; i < pages.length; i++) {
          document.write('<OPTION>' + pages[i]);
        }
        document.write('</SELECT></FORM>');
        //-->
