document.write("<option value=\"\" selected>INDEX</option> ");
document.write("<option value=\"\">-----------------</option> ");
document.write("<option value=\"0701mc_leg3.html\">Leg 3 [21 January 2007]</option> ");
document.write("<option value=\"0701mc_leg3a.html\">Leg 3 (PARTIAL) [20 January 2007]</option> ");
document.write("<option value=\"0701mc_leg2.html\">Leg 2 [19 January 2007]</option> ");
document.write("<option value=\"0701mc_leg1.html\">Leg 1 [18 January 2007]</option> ");
document.write("<option value=\"\">-----------------</option> ");