var days = new Array(7);
days[0] = "Sunday";
days[1] = "Monday";
days[2] = "Tuesday";
days[3] = "Wednesday";
days[4] = "Thursday";
days[5] = "Friday";
days[6] = "Saturday";

var months = new Array(12);
months[0] = "January";
months[1] = "February";
months[2] = "March";
months[3] = "April";
months[4] = "May";
months[5] = "June";
months[6] = "July";
months[7] = "August";
months[8] = "September";
months[9] = "October";
months[10] = "November";
months[11] = "December";

modif=document.lastModified;
if (navigator.appName == "Netscape" && navigator.appVersion.substring(0,3) == 4.6) 
{
result=modif.substring(0,modif.length-9);
}
else {
day=modif.substring(3,5);
month1=(modif.substring(0,2)-1);
year=modif.substring(6,8);
if (year.substring(0,1)==1 || year.substring(0,1)==2) 
{year=modif.substring(6,10)}
else {if (year.substring(0,1)==9) 
      {year="19"+year}
       else {year="20"+year}}
weekday=new Date(Date.UTC(year,month1,day));
// Change in DATE format to get the day of the week.
result=(days[weekday.getDay()]+" the "+day+" of "+months[month1]+" "+year);
}
document.write("Last update "+result+"<BR>"+"<BR>");