document.writeln('<p><b>Previous newsletters:</b> <a href="news-001.html">Spring 2002</a> / <a href="news-2001-12.html">December 2001</a> / <a href="news-2000-5.html">May 2000</a> / <a href="news-2000-04.html">April 2000</a> / <a href="news-2000-01.html">January 2000</a> / <a href="news-1999-11.html">November 1999</a> / <a href="news-1999-09.html">September 1999</a> / <a href="news-1999-08.html">August 1999</a> / <a href="news-002.html">June 1999</a></p>');