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


document.write("<option value=\"update.html\"> UPDATE [9 October 2003]</option>");


document.write("<option value=\"final.html\"> Final release [16 August 2003]</option>");


document.write("<option value=\"ss7.html\"> Results SS 7 [16 August 2003]</option>");


document.write("<option value=\"ss6.html\"> Results SS 6 [15 August 2003]</option>");


document.write("<option value=\"ss5.html\"> Results SS 5 [15 August 2003]</option>");


document.write("<option value=\"ss4.html\"> Results SS 4 [14 August 2003]</option>");


document.write("<option value=\"ss3.html\"> Results SS 3 [13 August 2003]</option>");


document.write("<option value=\"ss2.html\"> Results SS 2 [12 August 2003]</option>");


document.write("<option value=\"ss1.html\"> Results SS 1 [11 August 2003]</option>");


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


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