Date.prototype.toString = function () {
	return [['Jan ', 'Feb ', 'Mar ', 'Apr ', 'May ', 'Jun ', 'Jul ', 'Aug ', 'Sept ', 'Oct ', 'Nov ', 'Dec '] [this.getMonth()], this.getDate(), ', ',  this.getFullYear(), ' '].join('')	
}
document.write ('<p>Site updated: ', new Date (document.lastModified), '<\/p>')