// JavaScript Document
<!--
Date.prototype.toString = function () {return [ this.getDate(), ['January', 'February', 'March', 'April', 'May', 'June', 'July', 'August', 'September', 'October', 'November', 'December'] [this.getMonth()], this.getFullYear(), [].join(':')].join('&nbsp;')}

document.write('last modified:', new Date(document.lastModified))

-->