document.writeln('<font face="Arial">');
document.writeln('<a href="n0510.htm">');
document.writeln('Tim Willets, Paul Burgess and John Harrison')
document.writeln('</a>');
document.writeln("</font>");