var opdateret;
var revdato;
opdateret = new Date(document.lastModified);
time=opdateret.getHours();
minut=opdateret.getMinutes();

aar = opdateret.getYear();
if (aar < 1000){ 	
	if (aar < 70){
	aar = 2000 + aar;
	}
	else aar = 1900 + aar;
}							
maaned = opdateret.getMonth() + 1;
if (maaned < 10){
	maaned = '0' + maaned;
}
dato = opdateret.getDate();
if (dato < 10){
	dato = '0' + dato;
}
dag = opdateret.getDay();
	
maanedNavn = new Array(12)
maanedNavn[0] = 'jan'
maanedNavn[1] = 'feb'
maanedNavn[2] = 'mar'
maanedNavn[3] = 'apr'
maanedNavn[4] = 'maj'
maanedNavn[5] = 'jun'
maanedNavn[6] = 'jul'
maanedNavn[7] = 'aug'
maanedNavn[8] = 'sep'
maanedNavn[9] = 'okt'
maanedNavn[10] = 'nov'
maanedNavn[11] = 'dec'

dagNavn = new Array(7)
dagNavn[0] = 'Søn'
dagNavn[1] = 'Man'
dagNavn[2] = 'Tir'
dagNavn[3] = 'Ons'
dagNavn[4] = 'Tor'
dagNavn[5] = 'Fre'
dagNavn[6] = 'Lør'

revdato = dagNavn[dag] + ' ' + dato 
+ '. ' + maanedNavn[maaned - 1] + ' ' + aar + ' kl. ' + time  + ':' + minut