document.writeln('<font face="Arial">');
document.writeln('<a href="n0417.htm">');
document.writeln('Richard Arrowsmith and Tim van Eyken')
document.writeln('</a>');
document.writeln("</font>");