document.write("<option value=\"\" selected>INDEX</option> ");
document.write("<option value=\"\">-----------------</option> ");
document.write("<option value=\"0604j_leg1.html\">Leg 1 [8 JUL 2006]</option> ");
document.write("<option value=\"0604j_leg2.html\">Leg 2 [9 JUL 2006]</option> ");
