document.write("<option value=\"\" selected>INDEX</option> ");
document.write("<option value=\"\">-----------------</option> ");
document.write("<option value=\"j_leg3.html\">Day 3 [2 November 2008]</option> ");
document.write("<option value=\"j_leg2.html\">Day 2 [1 November 2008]</option> ");
document.write("<option value=\"j_leg1.html\">Day 1 [31 October 2008]</option> ");
document.write("<option value=\"j_preview.html\">Preview [26 October 2008]</option> ");
document.write("<option value=\"\">-----------------</option> ");