document.write("<ul>\
<li><a href='cv.html'>Curriculum Vitae</a></li>\
<li><a href='courses.html'>Courses Taught</a></li>\
<li><a href='presentations.html'>Addresses/Presentations</a></li>\
<li><a href='publications.html'>Publications</a></li>\
<li><a href='in_progress.html'>Works in Progress</a></li>\
<li style='margin-bottom:0;'><a href='links.html'>Recommended Websites</a></li>\
</ul>")