document.write(
'<h3>Newsletters</h3>' +
'<a class="toc" href="./200912nl.htm">2009 December</a>' +
'<a class="toc" href="./newsletters/2011newsletter.doc">2011</a>' +
''
)