document.write("<dl><h5>");
document.write("<a href=\"/people/index.html\">People</a><dt>");
document.write("<a href=\"/thoughts/index.html\">Thoughts</a><dt>");
document.write("<a href=\"/courses/index.html\">Courses</a><dt>");
document.write("<a href=\"/newthings/index.html\">New Things</a><dt>");
document.write("<a href=\"/links/index.html\">Links</a><dt>");
document.write("</h5></dl>");