function BlurLinks()
	{lnks=document.getElementsByTagName('a');for(i=0;i<lnks.length;i++)	{lnks[i].onfocus=new Function("if(this.blur)this.blur()");}}
function Comicpopup (Adresse) 
	{Fenster1 = window.open(Adresse, "Zweitfenster", "dependent=yes, resizeable=noresize, width=500,height=260,left=270,top=250");Fenster1.focus();}

function uhr()
	{var jahr;var monat;var tag;var wochentag;var stunden;var minuten;var sekunden;var AktuellesDatum=new Date();var TagInWoche = AktuellesDatum.getDay();
	var Tagesname = new Array("Sonntag", "Montag", "Dienstag", "Mittwoch", "Donnerstag", "Freitag", "Samstag");
	jahr=AktuellesDatum.getFullYear ();
	monat=AktuellesDatum.getMonth ()+1;	if (monat < 10) { monat = "0"+monat;}
	tag=AktuellesDatum.getDate (); if (tag < 10) { tag = "0"+tag;}
	wochentag=Tagesname[TagInWoche]; 
	stunden=AktuellesDatum.getHours();if (stunden < 10) { stunden = "0"+stunden;}
	minuten=AktuellesDatum.getMinutes ();if (minuten < 10) { minuten = "0"+minuten;}
	sekunden=AktuellesDatum.getSeconds ();if (sekunden < 10) { sekunden = "0"+sekunden;}
	Zeiter.innerHTML = "<b>"+stunden+":"+minuten+":"+sekunden+"&nbsp;Uhr </b>&nbsp;&nbsp;&nbsp;";
	Datum.innerHTML =  "<b>"+wochentag+", "+tag+"."+monat+"."+jahr+"</b>"
	window.setTimeout ('uhr()',1000);
	}

function getInfo() {
    var dLM = new Date(Date.parse(frames["main"].document.lastModified));
    var htm = frames["main"].document.title;

	var dayNames = ['Sonntag','Montag','Dienstag','Mittwoch','Donnerstag','Freitag','Samstag'];
    //var monthNames = ['Januar','Februar','März','April','Mai','Juni','Juli','August','September','Oktober','November','Dezember'];

    var day = dLM.getDate();
    var dayName = dayNames[dLM.getDay()];
    var year = dLM.getFullYear();
    var month = dLM.getMonth();
    //var monthName = monthNames[month];
    var hours = dLM.getHours();
    var minutes = dLM.getMinutes();
    var seconds = dLM.getSeconds();

	window.status = 'Dokument "' + htm + '" wurde am ' + dayName + ', den ' + format(day) + '.' + format(month) + '.' + year + ', um ' + format(hours) + ':' + format(minutes) + ':' + format(seconds) + ' Uhr geändert.';
    var info = document.getElementById('info');

    if (info.innerText) info.innerText = s;
     else info.firstChild.data = s;
};

function format(val) {
    if (val < 10) return '0' + val;
    return val.toString();
};

function aufruf() { 
	window.setTimeout('uhr()',1000);
}