document.write('<TR><TD width="100%"><TABLE width="700" border="1" cellspacing="0" cellpadding="0"><TR><FONT size="4"><TD width="25%" align="center"><A HREF="people.html">People</A></TD><TD width="25%" align="center"><A HREF="sponsors.html">Sponsors</A></TD><TD width="25%" align="center"><A HREF="publications.html">Publications</A></TD><TD width="25%" align="center"><A HREF="software.html">Software</A></TD></FONT></TR></TABLE></TD></TR>')