document.writeln('<font face="Arial">');
document.writeln('<a href="n0415.htm">');
document.writeln('Tim Normanton')
document.writeln('</a>');
document.writeln("</font>");