month = new Array('January', 'February', 'March', 'April', 'May', 'June', 'July', 'August', 'September', 'October', 'November', 'December');
mod = new Date(document.lastModified);
document.write('Last updated ' + mod.getDate() + ' ' + month[mod.getMonth()] + ' ' + mod.getFullYear() + '.');