var date = document.lastModified
var day = date.charAt(3)+date.charAt(4)
var addend = "th"
if (day==01) addend="st";
if (day==02) addend="nd";
if (day==03) addend="rd";
if (day==21) addend="st";
if (day==22) addend="nd";
if (day==23) addend="rd";
if (day==31) addend="st";
if (day<10) day=day.charAt(1)
var year = date.charAt(6)+date.charAt(7)+date.charAt(8)+date.charAt(9)
var month = date.charAt(0)+date.charAt(1)
var monthname
if (month==01) monthname="January";
if (month==02) monthname="February";
if (month==03) monthname="March";
if (month==04) monthname="April";
if (month==05) monthname="May";
if (month==06) monthname="June";
if (month==07) monthname="July";
if (month==08) monthname="August";
if (month==09) monthname="September";
if (month==10) monthname="October";
if (month==11) monthname="November";
if (month==12) monthname="December";
var hour = date.charAt(11)+date.charAt(12)
var ampm="am"
if (hour>11)  ampm="pm";
if (hour==13) hour="01";
if (hour==14) hour="02";
if (hour==15) hour="03";
if (hour==16) hour="04";
if (hour==17) hour="05";
if (hour==18) hour="06";
if (hour==19) hour="07";
if (hour==20) hour="08";
if (hour==21) hour="09";
if (hour==22) hour="10";
if (hour==23) hour="11";
if (hour==24) hour="12";
if (hour==00) hour="12";
if (hour<10) hour=hour.charAt(1)
var min = date.charAt(14)+date.charAt(15)