msg_string = "ページ更新日時：";
msg_string = msg_string.fontsize(1);
msg_string = msg_string + document.lastModified;
document.write(msg_string);