document.write("<font size=2>");
document.write("<a href=books.html>Books(7)</a>");
document.write(" - <a href=intro_comp.html>C++ Programs(24)</a>");

document.write(" - <a href=titlepages.html>Title Pages(5)</a>");

document.write(" - <a href=downloads.html>Downloads(2)</a>");

document.write(" - <a href=articles.html>Articles(18)</a>");

document.write("...March 20, 2008");
document.write();
document.write("</font>");