    var m = "Page last updated " + document.modified;
    document.writeln("");
    document.write(m);
    document.writeln("");
