// Her er det javascript, der indsætter lastModified datoen i dansk datoformat på websiderne.
// Anvendes via document.write(datoTXT)

	var datoTXT;
	var datoTOD;
	var datoDOM;
	var datoDAY;
	var datoDOY;
	
        function sstr(a,b){ //extract substrings
		ret=datoTOD.substring(a,b);
		if (ret=="Jan" || ret=="01") ret="01";
		if (ret=="Feb" || ret=="02") ret="02";
		if (ret=="Mar" || ret=="03" || ret=="Mrz") ret="03";
		if (ret=="Apr" || ret=="04") ret="04";
		if (ret=="May" || ret=="05" || ret=="Mai") ret="05";
		if (ret=="Jun" || ret=="06") ret="06";
		if (ret=="Jul" || ret=="07") ret="07";
		if (ret=="Aug" || ret=="08") ret="08";
		if (ret=="Sep" || ret=="09") ret="09";
		if (ret=="Oct" || ret=="Okt") ret="10";
		if (ret=="Nov") ret="11";
		if (ret=="Dec" || ret=="Dez") ret="12";
		return ret;
	}
	datoTOD = unescape(document.lastModified);
	if (datoTOD.length == 17) { // Netscape 3 and higher, Internet Explorer 4
	datoDOM = sstr(0,2); 	
	datoDAY = sstr(3,5);	
	datoDOY = sstr(6,8);
	}
    if (datoTOD.length == 20) { // Netscape on MacOS
	datoDOM = sstr(0,3); 	
	datoDAY = sstr(4,6);	
	datoDOY = sstr(16,20);
	}
	if (datoTOD.length == 25 || datoTOD.length == 24) { // Netscape 2
	datoDOM = sstr(4,7);
	datoDAY = sstr(8,10);	
	datoDOY = sstr(20,24);
	}
	if (datoTOD.length == 29) { // Opera 3
	datoDOM = sstr(8,11); 	
	datoDAY = sstr(5,7);	
	datoDOY = sstr(12,16);
	}
	if (datoTOD.length == 19) { // Internet Explorer 5
	datoDOM = sstr(0,2);
	datoDAY = sstr(3,5);
	datoDOY = sstr(6,10);
	}
	
	if (datoTOD.length == 23) { // Internet Explorer 3
	datoDOM = sstr(3,6);
	datoDAY = sstr(7,9);
	datoDOY = sstr(19,23);
	}
	datoTXT = "";
	
	// European Date Format 
	
 	datoTXT += datoDAY + "." + datoDOM + "." + datoDOY + "";     
    
    // her er plads til det næste script ...