document.write("<option value=\"\" selected>INDEX</option> ");
document.write("<option value=\"\">-----------------</option> ");
document.write("<option value=\"fin_leg3.html\">Day 3 [03 August 2008]</option> ");
document.write("<option value=\"fin_leg2.html\">Day 2 [02 August 2008]</option> ");
document.write("<option value=\"fin_leg1.html\">Day 1 [01 August 2008]</option> ");
document.write("<option value=\"fin_preview.html\">Preview [29 July 2008]</option> ");
document.write("<option value=\"\">-----------------</option> ");