document.write('<div id="nav">')
document.write('<p>Updated 24/09/04</p>')
document.write('<ul>')
document.write('<li><a href="..">Home</a></li>')
document.write('<li><a href="playbat.htm">Batsmen</a></li>')
document.write('<li><a href="playwkt.htm">Wicketk\'pers</a></li>')
document.write('<li><a href="playalr.htm">All Rounders</a></li>')
document.write('<li><a href="playbow.htm">Bowlers</a></li>')
document.write('</ul>')
document.write('</div>')