document.write("<option value=\"\" selected>INDEX</option> ");
document.write("<option value=\"\">-----------------</option> ");
document.write("<option value=\"0608gr_leg3.html\">Leg 3 [4 JUN 2006]</option> ");
document.write("<option value=\"0608gr_leg2.html\">Leg 2 [3 JUN 2006]</option> ");
document.write("<option value=\"0608gr_leg1.html\">Leg 1 [2 JUN 2006]</option> ");
document.write("<option value=\"0608gr_preview.html\">Preview [30 MAY 2006]</option> ");