document.write('Last update: ');
document.write(document.lastModified);
document.write(' +0900(JST)');