month = new Array(12)
month[0] = "Jan";
month[1] = "Feb";
month[2] = "Mar";
month[3] = "Apr";
month[4] = "May";
month[5] = "Jun";
month[6] = "Jul";
month[7] = "Aug";
month[8] = "Sep";
month[9] = "Oct";
month[10] = "Nov";
month[11] = "Dec";

day = new Array(7)
day[0] = "Sun";
day[1] = "Mon";
day[2] = "Tue";
day[3] = "Wed";
day[4] = "Thu";
day[5] = "Fri";
day[6] = "Sat";

function updatedOn()
{
	var lastMod = new Date(document.lastModified);
	var year = lastMod.getYear();
	if(year < 100)
	{
		year += 2000;
	}
	else if(year < 1000)
	{
		year += 1900;
	}
	return "Page Updated " + lastMod.getDate() + " " + month[(lastMod.getMonth())] + " " + year;
}