// update time
//document.write("Last Updated: 2008.07.07");
var datetime = document.lastModified.split(" ");
var date = datetime[0].split("/");
document.write("Last Updated: " + date[2] + "." + date[0] + "." + date[1]);