document.writeln('<CENTER><TABLE><TR><TD><FONT SIZE="-1"><A HREF="http://www.dino-web.com/" TARGET="_top">Home</A> | <A HREF="info.html" TARGET="_top">Info</A> | <A HREF="games.html" TARGET="_top">Games</A> | <A HREF="museums.html" TARGET="_top">Museums</A> | <A HREF="theories.html" TARGET="_top">Theories</A> | <A HREF="more.html" TARGET="_top">More</A> | <A HREF="search.html" TARGET="_top">Search</A> | <A HREF="mailto:alastair@dino-web.com">E-Mail</A></FONT></TD></TR></TABLE></CENTER>')