function ModDt() { var dt  = new Date(document.lastModified);
                   var hh  = dt.getHours();   hh  = (hh<10? "0"+hh: hh);
                   var mm  = dt.getMinutes(); mm  = (mm<10? "0"+mm: mm);
                   var ss  = dt.getSeconds(); ss  = (ss<10? "0"+ss: ss);
                   var MM  = dt.getMonth(); MM++; MM  = (MM<10? "0"+MM: MM);
                   var dd  = dt.getDate();    dd  = (dd<10? "0"+dd: dd);
                   var yy  = dt.getYear();    yy  = (yy<1000? yy+1900: yy);
                   document.writeln("Last modified:  " +
                   MM + "/" + dd + "/" + yy + " @ " +
                   hh + ":" + mm + ":" + ss ); }