// Prints the date document was last modified // First check for server date availability and old browser versions if ((Date.parse(document.lastModified) != 0) && (navigator.appVersion >= "2.0")) { var month=(document.lastModified.substring (0,2)); var leng=(document.lastModified.length); // eliminate time at end of string var str = ""; var end=("

"); if (month == 1) str = "January " ; if (month == 2) str = "February " ; if (month == 3) str = "March " ; if (month == 4) str = "April " ; if (month == 5) str = "May " ; if (month == 6) str = "June " ; if (month == 7) str = "July " ; if (month == 8) str = "August " ; if (month == 9) str = "September " ; if (month == 10) str = "October " ; if (month == 11) str = "November " ; if (month == 12) str = "December " ; } //-->