function GetLastChangeDate(doc)
{
	var a;
a=new Date(document.lastModified);
lm_year=a.getYear();
if (lm_year<1000){
if (lm_year<70){
lm_year=2000+lm_year;
}
else lm_year=1900+lm_year;
}
lm_month=a.getMonth()+1;
if (lm_month<10){
lm_month='0'+lm_month;
}
lm_day=a.getDate();
if (lm_day<10){
lm_day='0'+lm_day;
}
document.write("Last updated: " + lm_year+'-'+lm_month+'-'+lm_day+"</P>");

}