document.writeln("<address>This page is maintained by " +
                 "Alyce Brady " +
                 "(abrady{at}kzoo{dot}edu)" +
                 ".");
/*
                 " and " +
                 "Pamela Cutter " +
                 "(pcutter{at}kzoo{dot}edu)" +
                 "Kelly Schultz " +
                 "(kschultz{at}kzoo{dot}edu)" +
                 "Nathan Sprague " +
                 "(nsprague{at}kzoo{dot}edu)" +
*/

/* NOTE: the code below is repeated in lastModified.js, so any changes
 * should be made to both files.
 */
document.write("It was last modified on ");
var monthname=new Array("January","February","March","April","May","June",
                "July","August","September","October","November","December");
var lastmod = document.lastModified;
if ( Date.parse(lastmod) == 0 )  /* parse returns milliseconds since 1/1/1970 */
    document.writeln("(Date Unknown).");
else
{
    var d = new Date(lastmod);
    document.writeln(monthname[d.getMonth()] + " " +
                     d.getDate() + ", " + d.getFullYear() + ".");
}

document.writeln("</address>");