function showTouchDate() {
var mdate = new Date(document.lastModified);
var months = new Array("January", "February", "March", "April",
"May", "June", "July", "August", "September", "October", "November",
"December");
var year = mdate.getYear();
if(year < 1000) year += 1900;
return (months [mdate.getMonth()] + " " + mdate.getDate() + ", " +
year);
};
document.write("
");
document.write("");
