mois = new Array('January', 'February', 'March', 'April', 'May', 'June','July', 'August', 'September', 'October','November', 'December')

var d = document.lastModified; // NN returns 17-chr with yy, IE returns 19-chr with yyyy
var dd = d.substr(3, 2); // Day as string 01 - 31
var m = parseInt(d.substr(0,2)-1); // Month as integer 0 - 11
var Mmm = mois[m];  // Give the name of the month

if (d.length == 17)
{var yy = d.substr(6, 2); var yyyy = (yy < 70) ? "20" + yy : "19" + yy}

else
{var yyyy = d.substr(6, 4)};

// yyyy is now 4-chr string 1970 - 2000+, despite Netscape's Y2K bug! document.write("Date Last Modified " + dd + " " + Mmm + " " + yyyy + ". ")

document.write("<B><I>Date Last Modified: </I></B>")
document.write(dd + " " + Mmm + " " + yyyy + ". ")