document.write("<option value=\"\" selected>INDEX</option> ");
document.write("<option value=\"\">-----------------</option> ");
document.write("<option value=\"0714j_leg3.html\">Leg 3 [28 October 2007]</option> ");
document.write("<option value=\"0714j_leg2.html\">Leg 2 [27 October 2007]</option> ");
document.write("<option value=\"0714j_leg1.html\">Leg 1 [26 October 2007]</option> ");
document.write("<option value=\"0714j_preview.html\">Preview [22 October 2007]</option> ");
document.write("<option value=\"0713j_misc.html\">Release [06 September 2007]</option> ");
document.write("<option value=\"\">-----------------</option> ");