daystx = new Array("Sunday", "Monday", "Tuesday", "Wednesday", "Thursday", "Friday", "Saturday");
   monthtx = new Array("January", "February", "March", "April", "May", "June", "July", "August", "September", "October", "November", "December");
   dmf=new Date(document.lastModified);
   document.write("Last updated: "+daystx[dmf.getDay()]+" "+dmf.getDate()+" "+monthtx[dmf.getMonth()]+" "+dmf.getFullYear());