<!--
var dayName = new Array ("Sunday", "Monday", "Tuesday", "Wednesday", "Thursday", "Friday", "Saturday");
var monName = new Array ("Jan", "Feb", "Mar", "Apr", "May", "June", "July", "Aug", "Sept", "Oct", "Nov", "Dec");

var then = new Date;
    then.setTime(Date.parse(document.lastModified));

document.write("Content updated: ");

document.write(then.getDate() + "-" + monName[then.getMonth()]);

//-->
