document.writeln('<font face="Arial">');
document.writeln('<a href="n0412.htm">');
document.writeln('General view of session')
document.writeln('</a>');
document.writeln("</font>");