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

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

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

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

document.write("<option value=\"pre.html\"> SHAKEDOWN / SS 1-2 [8 May 2003]</option>");

document.write("<option value=\"itinerary.html\"> ITINERARY [1 May 2003]</option>");

document.write("<option value=\"entry.html\"> ENTRY LIST [1 May 2003]</option>");