document.writeln('<a href="ks0502.htm">');
document.writeln('Paul Gross')
document.writeln('</a>');