// JavaScript Document


// Get the last modified date
var now = new Date(document.lastModified);

// List the days
var days = new Array('Sunday','Monday','Tuesday','Wednesday',
                      'Thursday','Friday','Saturday');

// List the months
var months = new Array('January','February','March','April',
                         'May','June','July','August','September',
                            'October','November','December');
// What day number is it
var date = ((now.getDate()<10) ? "" : "")+ now.getDate();
// Convert year to four figure format
function y2k(number){return (number < 1000) ? number + 1900 : number;}
// What time is it
/*
var h = now.getHours();           
var m = now.getMinutes();
var s = now.getSeconds();
var ampm = (h >= 12)?"p.m.":"a.m.";
if (h > 12) h -= 12;
if (h == 0) h = 12;
if (m < 10) m = "0" + m;
if (s < 10) s = "0" + s;
var time = h+ ':' +m+ ' ' +ampm;
// include secs with this: var time = h+ ':' +m+ ':' +s+ ' ' +ampm;
*/
// Join it all together
mod =  days[now.getDay()] + " " +
              date + " " +
               months[now.getMonth()] + " " +
                (y2k(now.getYear())) 
//                + " at " +
//                 time;

// write it to the page
document.write(mod+".");