var default_date = "7/26/00"
var lm = document.lastModified

if (Date.parse(lm) == 0) {
lm = default_date
}

document.write("<center><font face='Arial' size='-1' color='darkgreen'>" + "Last Modified on: " + lm + "</font></center>")