document.write("<option value=\"\" selected>INDEX</option> ");
document.write("<option value=\"\">-----------------</option> ");
document.write("<option value=\"0711nz_leg3.html\">Leg 3 [2 September 2007]</option> ");
document.write("<option value=\"0711nz_leg2.html\">Leg 2 [1 September 2007]</option> ");
document.write("<option value=\"0711nz_leg1.html\">Leg 1 [31 August 2007]</option> ");
document.write("<option value=\"0711nz_preview.html\">Preview [28 August 2007]</option> ");
document.write("<option value=\"\">-----------------</option> ");