function getChangeDate()
{
	var mod_date = new Date(document.lastModified);
	
	lm_year = mod_date.getYear();
	lm_month = mod_date.getMonth();
	lm_day = mod_date.getDate();
	lm_year = (lm_year < 1000) ? ((lm_year < 70) ? 2000 : 1900) + lm_year : lm_year;
	lm_day = (lm_day < 10) ? '0' + lm_day : lm_day;
	
	monthName = new Array("Jan", "Feb", "Mar", "Apr", "May", "Jun", "Jul", "Aug", "Sep", "Oct", "Nov", "Dec");
	
	return lm_day + '-' + monthName[lm_month] + '-' + lm_year;
} 
