document.write("<option value=\"\" selected>INDEX</option> ");
document.write("<option value=\"\">-----------------</option> ");
document.write("<option value=\"0709fin_leg3.html\">Leg 3 [05 August 2007]</option> ");
document.write("<option value=\"0709fin_leg1.html\">Leg 1 [03 August 2007]</option> ");
document.write("<option value=\"\">-----------------</option> ");