document.write("<option value=\"\" selected>INDEX</option> ");
document.write("<option value=\"\">-----------------</option> ");
document.write("<option value=\"0603mex_leg3.html\">Leg 3 [5 MAR 2006]</option> ");
document.write("<option value=\"0603mex_leg2.html\">Leg 2 [4 MAR 2006]</option> ");
document.write("<option value=\"0603mex_leg1.html\">Leg 1 [3 MAR 2006]</option> ");
document.write("<option value=\"0603mex_preview.html\">Preview [28 FEB 2006]</option> ");