document.write(' <div class="grey"> ')
document.write(' <a href="index.htm">HOME</a> |  <a href="about.htm">ABOUT WIT</a> |  <a href="programme.htm">PROGRAMME</a> |  <a href="speakers.htm">SPEAKERS</a> |  <a href="accommodation.htm">ACCOMMODATION</a> |  <a href="news_1june2008.htm">NEWSROOM</a> |  <a href="contact.htm">CONTACT</a> <br><br><br> ')
document.write(' </div> ')