document.write("<option selected>INDEX</option>");

document.write("<option value=\"leg3.html\"> LEG 3 [8 June 2003]</option>");

document.write("<option value=\"leg2.html\"> LEG 2 [7 June 2003]</option>");

document.write("<option value=\"leg1.html\"> LEG 1 [6 June 2003]</option>");