document.write("<option value=\"\" selected>INDEX</option> ");
document.write("<option value=\"\">-----------------</option> ");
document.write("<option value=\"d_leg3.html\">Day 3 [17 August 2008]</option> ");
document.write("<option value=\"\">-----------------</option> ");
