function lastModified ()
   {
    var when = new Date(document.lastModified);
    day = when.getDate();
    mo  = when.getMonth() + 1;
    yr = when.getFullYear();
    document.write("Last updated "+mo+"/"+day+"/"+yr);
    }