document.write("<a href='2003_05_01_deborahs31-13doings_archive.html'>May 2003</a><br>")

     document.write("<a href='2003_06_01_deborahs31-13doings_archive.html'>June 2003</a><br>")

     document.write("<a href='2003_07_01_deborahs31-13doings_archive.html'>July 2003</a><br>")

     document.write("<a href='2003_08_01_deborahs31-13doings_archive.html'>August 2003</a><br>")

if (location.href.indexOf("archive") != -1) {
document.write("<a href=\"./\">current</a>")
}