<!--
var isNav3 = true, isIE4 = false;
lastmoddate=document.lastModified;
if (parseInt(navigator.appVersion.charAt(0)) >= 4) {
  isNav3 = (navigator.appName == "Netscape" && navigator.appVersion.substring(0,1) >= "3") ? true : false;
  isIE4 = (navigator.appName.indexOf("Microsoft") != -1) ? true : false;
}
if (isIE4) {
        re = /(\w+)\s(\w+\W){2,}(\w+)/;
        lastmoddateonly = lastmoddate.replace(re, "$1");
        document.write("Last updated on: ");
        document.write(lastmoddateonly);
} else if (isNav3) {
        re = /(\w+)\s(\w+\W){2,}/;
        lastmoddateonly = lastmoddate.replace(re, "$1");
        document.write("Last updated on: ");
        document.write(lastmoddateonly);
}
//-->