app = navigator.appName;
function lastUpdated(){
lastupdate = document.lastModified;
splitUpdateArray = lastupdate.split(" ");
dateArray = splitUpdateArray[0];
lTime = splitUpdateArray[1];
splitDateArray = dateArray.split("/");
lMonth = splitDateArray[0];
lDate = splitDateArray[1];
lYear = splitDateArray[2];
if (lMonth == "01"){lMonth = "Jan"};
if (lMonth == "02"){lMonth = "Feb"};
if (lMonth == "03"){lMonth = "Mar"};
if (lMonth == "04"){lMonth = "Apr"};
if (lMonth == "05"){lMonth = "May"};
if (lMonth == "06"){lMonth = "Jun"};
if (lMonth == "07"){lMonth = "Jul"};
if (lMonth == "08"){lMonth = "Aug"};
if (lMonth == "09"){lMonth = "Sept"};
if (lMonth == "10"){lMonth = "Oct"};
if (lMonth == "11"){lMonth = "Nov"};
if (lMonth == "12"){lMonth = "Dec"};
document.write("updated on: " + lDate + " " + lMonth + " " + lYear)}
if (app == 'Microsoft Internet Explorer'){lastUpdated();}
if (app != 'Microsoft Internet Explorer'){document.write("this page last updated on: <br>" + lastupdate);}