document.write("<option value=\"\" selected>INDEX</option> ");
document.write("<option value=\"\">-----------------</option> ");
document.write("<option value=\"0604mar_1.html\"> LEG 1 [31 MAY 2006]</option> ");
document.write("<option value=\"0604mar_2.html\"> LEG 2 [01 JUN 2006]</option> ");
document.write("<option value=\"0604mar_3.html\"> LEG 3 [02 JUN 2006]</option> ");
document.write("<option value=\"0604mar_4.html\"> LEG 4 [03 JUN 2006]</option> ");
document.write("<option value=\"0604mar_5.html\"> LEG 5 [04 JUN 2006]</option> ");
document.write("<option value=\"0604mar_6.html\"> LEG 6 [06 JUN 2006]</option> ");