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


document.write("<option value=\"final.html\"> Final report [5 September 2003]</option>");


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


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


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


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


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


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