document.write('<a href="default.html">Home</a> | <a href="Overall_1_3.html">Overall</a> | <a href="Race_1_3_1.html">Race 1</a> | <a href="Race_1_3_2.html">Race 2</a> | <a href="Race_1_3_3.html">Race 3</a> | <a href="Race_1_3_4.html">Race 4</a>')