document.write('<div class=nav><HR><font class=small><a href="http://www.let.rug.nl/~usa/I/new95.htm">New in 1995</a> | <a href="http://www.let.rug.nl/~usa/I/new96.htm">New in 1996</a> | <a href="http://www.let.rug.nl/~usa/I/new97.htm">New in 1997</a> | <a href="http://www.let.rug.nl/~usa/I/new98.htm">New in 1998</a> | <A HREF="http://www.let.rug.nl/~usa/I/new99.htm">New in 1999 </a> | <A HREF="http://www.let.rug.nl/~usa/I/new00.htm">New in 2000</A>| <A HREF="http://www.let.rug.nl/~usa/I/new01.htm">New in 2001</A> | <A HREF="http://www.let.rug.nl/~usa/I/new02.htm">New in 2002</A> | <A HREF="http://www.let.rug.nl/~usa/I/new03.htm">New in 2003</A> | <A HREF="http://www.let.rug.nl/~usa/I/new04.htm">New in 2004</A> | <A HREF="http://www.let.rug.nl/~usa/I/new05.htm">New in 2005-2007</A></font><hr><p></div>');