<!--
Date.prototype.toString = function () {return [['Sun,', 'Mon,', 'Tues,', 'Wed,', 'Thurs,', 'Fri,', 'Sat,'] [this.getDay()], this.getDate(), ['January', 'February', 'March', 'April', 'May', 'June', 'July', 'August', 'September', 'October', 'November', 'December'] 
[this.getMonth()], this.getFullYear(), [this.getHours(), this.getMinutes() < 9 ? '0' + this.getMinutes() : this.getMinutes(), this.getSeconds() < 9 ? '0' + this.getSeconds() : this.getSeconds()].join(':')].join('&nbsp;')}

document.write( new Date(document.lastModified))