function printYearstamp() { document.writeln("