/******************last changed date**************************/
			
			var a;
			a=new Date(document.lastModified);
			lm_year=a.getYear();lm_year=((lm_year<1000)?((lm_year<70)?2000:1900):0)+lm_year;
			lm_month=a.getMonth()+1;lm_month=((lm_month<10)?'0':'')+lm_month;
			lm_day=a.getDate();lm_day=((lm_day<10)?'0':'')+lm_day;
			monthName = new Array(12)
			monthName[0] = 'Jan'
			monthName[1] = 'Feb'
			monthName[2] = 'Mar'
			monthName[3] = 'Apr'
			monthName[4] = 'Mai'
			monthName[5] = 'Jun'
			monthName[6] = 'Jul'
			monthName[7] = 'Aug'
			monthName[8] = 'Sep'
			monthName[9] = 'Okt'
			monthName[10] = 'Nov'
			monthName[11] = 'Dec'
			document.write("Last Modified: " + lm_day+' '+monthName[lm_month-1]+' '+lm_year);