document.write("<div id=\"section-menu\">");
document.write("");
document.write("");
document.write("");
document.write("<ul>");
document.write("");
document.write("<li><a href=\"library.html\" class=\"section-menu\">Library<\/a><\/li>");
document.write("");
document.write("<li><a href=\"document-archives.html\" class=\"section-menu\">Document Archives<\/a><\/li>");
document.write("");
document.write("<\/ul>");
document.write("");
document.write("<\/div>  <!-- \/section-menu -->");
document.write("");
document.write("<div class=\"clear-both\"><!-- clear floats --><\/div>");