var LastModDate = new Date(document.lastModified);
   document.write("<div class='update'>Last update:");
   document.write(LastModDate.getFullYear(), "/", LastModDate.getMonth() + 1, "/", LastModDate.getDate());
   document.write("</div>");

   if (top.location != self.location){
      top.location = self.location;
   }