document.write("<option selected>INDEX</option>");
document.write("<option value=\"leg3.html\"> LEG 3 [13 July 2003]</option>");
document.write("<option value=\"leg2.html\"> LEG 2 [12 July 2003]</option>");
document.write("<option value=\"leg1.html\"> LEG 1 [11 July 2003]</option>");
document.write("<option value=\"entry.html\"> ENTRY LIST [10 July 2003]</option>");