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


document.write("<option value=\"final.html\"> Final Results [19 July 2003]</option>");


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


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