document.write('<UL class="menu"><LI><A HREF="Links.php">Links</A></LI><LI><A HREF="mailinglist.php">Mailinglist</A></LI><LI><A HREF="reviews.php">Book reviews</A></LI></UL>')