// last modified script by Bernhard Friedrich; should work in all browsers
	function sidst_rettet(){
		return  opdateret_dato("Sidst rettet ");
	}
	function opdateret_dato(tekst){
		
		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;
		lm_hour=a.getHours();lm_hour=((lm_hour<10)?'0':'')+lm_hour;
		lm_minute=a.getMinutes();lm_minute=((lm_minute<10)?'0':'')+lm_minute;
		lm_second=a.getSeconds();lm_second=((lm_second<10)?'0':'')+lm_second;
		return (tekst + lm_day+'.'+lm_month+'.'+lm_year+' '+lm_hour+':'+lm_minute+':'+lm_second);
		
	}