var dLM = new Date(Date.parse(document.lastModified));

        var day = new Array("Sonntag","Montag","Dienstag",
            "Mittwoch","Donnerstag","Freitag","Samstag");
        var month = new Array("Januar","Februar","März","April","Mai","Juni",
            "Juli","August","September","Oktober","November","Dezember");

        var date = dLM.getDate();
        var day = day[dLM.getDay()];
        var year = dLM.getFullYear();
	var month = month[dLM.getMonth()];
        var hours = dLM.getHours();
        var minutes = dLM.getMinutes();
        var seconds = dLM.getSeconds();

        if (date<10) date = "0"+date;
        if (month<10) month = "0"+month;
        if (hours<10) hours = "0"+hours;
        if (minutes<10) minutes = "0"+minutes;
        if (seconds<10) seconds = "0"+seconds;

