// rearrange document.lastModified into ISO order

function chdate() {
  function zfill(num) {
    var result;
    
    result = (num < 10) ? "0" : "";
    return result + num.toString();
  }
  
  var dat = new Date(document.lastModified);

  return dat.getUTCFullYear() + "/" + zfill(dat.getUTCMonth() + 1) + "/" +
    zfill(dat.getUTCDate()) + " " +
    zfill(dat.getUTCHours()) + ":" + zfill(dat.getUTCMinutes()) + ":" +
    zfill(dat.getUTCSeconds());
}