document.write("<option value=\"\" selected>INDEX</option> ");
document.write("<option value=\"\">-----------------</option> ");
document.write("<option value=\"gr_leg3.html\">Day 3 [01 June 2008]</option> ");
document.write("<option value=\"gr_leg2.html\">Day 2 [31 May 2008]</option> ");
document.write("<option value=\"gr_leg1.html\">Day 1 [30 May 2008]</option> ");
document.write("<option value=\"gr_preview.html\">Preview [27 May 2008]</option> ");
document.write("<option value=\"\">-----------------</option> ");