document.write("<a href='2002_08_13_archive.html'>08/13/2002</a><br>")

     document.write("<a href='2002_08_14_archive.html'>08/14/2002</a><br>")

     document.write("<a href='2002_08_15_archive.html'>08/15/2002</a><br>")

     document.write("<a href='2002_08_16_archive.html'>08/16/2002</a><br>")

     document.write("<a href='2002_08_28_archive.html'>08/28/2002</a><br>")

     document.write("<a href='2002_09_02_archive.html'>09/02/2002</a><br>")

     document.write("<a href='2002_09_06_archive.html'>09/06/2002</a><br>")

     document.write("<a href='2002_09_20_archive.html'>09/20/2002</a><br>")

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