with (document) {
writeln('<table align="left" border="0" width="60%" cellpadding="0" cellspacing="0">');
writeln('<tr><td align="left"><form name="DoubleDropDownMenu">');
writeln('<select name="Menu1" onChange="changeListOfPages(this.form)" style="font-family: Times New Roman; font-size: 10pt">');
tot = Menu1Options.length;
        for (i = 0; i < tot; i++)
        writeln("<option>" +Menu1Options[i]);
writeln("</select>");
writeln('</td><td align="left">');
/*writeln('<select name="Menu2">');*/
writeln('<select name="Menu2" onchange="gotoPage(this.form)" style="font-family: Times New Roman; font-size: 10pt">');
/*The next line is a bodge to get the menu to work with Navigator 3)*/
writeln("<OPTION>XXXXXXXXXXXXXXXXXXXXXXXXXXXXX")

        for (i = 0; i < maxLength; i++)
        writeln("<option>" +Menu2Options[i]);
        writeln("</select>");
     for (i = maxLength; i > Menu2OriginalLength; i--)
        { DoubleDropDownMenu.Menu2.options[i] = null; }

writeln('</td></tr>');
changeListOfPages();
writeln('</form>');
writeln('</table>');
}