// date_time --->
       function clock() {
            if (!document.all && !document.getElementById) return;
            var DT = new Date();
            var Wtag = DT.getDay();
            var Wochentag = new Array("Sonntag","Montag","Dienstag", 
                "Mittwoch","Donnerstag","Freitag","Samstag");
            var tag = DT.getDate();
            var mo = DT.getMonth();
            var mon = new Array("Januar","Februar","März","April","Mai","Juni",  
                "Juli","August","September","Oktober","November","Dezember");
            var jah = DT.getFullYear();
            var stu = DT.getHours();
            var min = DT.getMinutes();
            var sec = DT.getSeconds();
            DT.setSeconds( sec+1 );
            if (tag <= 9) tag = "0" + tag;  
            if (stu <= 9) stu = "0" + stu;
            if (min <= 9) min = "0" + min;
            if (sec <= 9) sec = "0" + sec;     
            dispDT = Wochentag[Wtag] + ', ' + 
                tag + '. ' + mon[mo] + ' ' + jah + ' - ' +
                stu + ':' + min + ':' + sec;
            if (document.getElementById) 
                 document.getElementById("date_time").innerHTML = dispDT;
            else date_time.innerHTML = dispDT;
            setTimeout("clock()", 999);
       }
  // <--- date_time