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


document.write("<option value=\"leg4.html\"> Leg 4 [24 October 2003]</option>");


document.write("<option value=\"leg3.html\"> Leg 3 [23 October 2003]</option>");


document.write("<option value=\"leg2.html\"> Leg 2 [22 October 2003]</option>");


document.write("<option value=\"leg1.html\"> Leg 1 [21 October 2003]</option>");


document.write("<option value=\"pro.html\"> Prologue [20 October 2003]</option>");


document.write("<option value=\"pre.html\"> Pre-Event Release [17 October 2003]</option>");


document.write("<option value=\"entry.html\"> Entry List [15 October 2003]</option>");