var phpstatCounterFenster;

function phpstatCounter (url)
	{
	phpstatCounterFenster = window.open(url,"phpstatCounterFenster",
		"dependent=yes,left=450,top=250,width=135,height=150,status=no,toolbar=no,resizable=no");
	setTimeout("phpstatCounterFenster.close()", 8000);
	}
	
function UnloadRoutine()
	{
	if (phpstatCounterFenster && !phpstatCounterFenster.closed) 
		{
		phpstatCounterFenster.close();
		phpstatCounterFenster = null;
		}
	}
//————————————————————————————————————————————————————————————————————————————————————————————————————————
// Email-Check mit JavaScript

function EMail_validate(s) 
	{ 
	var res = false; 

	reg = /^([a-zA-Z0-9_\-\.]+)(\@)([a-zA-Z0-9\-\.]+)(\.)([a-zA-Z]{2,4})$/;
	res = reg.test(s);
	return(res); 
	}
//————————————————————————————————————————————————————————————————————————————————————————————————————————
function ModDatum(VollDatum)
	{ 
	var DatString;
	var letzteÄnd = document.lastModified;
	var Jahr = new Date();

	letzteÄnd = new Date (letzteÄnd);
	DatString = letzteÄnd.getDate() + "." + eval(letzteÄnd.getMonth()+1) + ".";
	if (VollDatum)
		DatString = DatString + letzteÄnd.getFullYear();
	else
		DatString = Jahr.getFullYear();
	return DatString;
	}
//————————————————————————————————————————————————————————————————————————————————————————————————————————
function email(name, domain, land, betreff)
	// Aufruf: <a href="javascript:email('a', 'b', 'c' [, 'd'])">
	{
	var ziel = "mailto:" + name + "\x40" + domain + "\x2E" + land;
	if (betreff)
		ziel = ziel + "?subject=" + betreff;
	location.href = ziel;
	}
//————————————————————————————————————————————————————————————————————————————————————————————————————————
function unGerman (s)
	// Wandelt Umlaute um
	{
	var xs = s;
	xs = xs.replace (/&euro;/, "EUR");
	xs = xs.replace (/&auml;/, "ae");
	xs = xs.replace (/&ouml;/, "oe");
	xs = xs.replace (/&uuml;/, "ue");
	xs = xs.replace (/&szlig;/, "ss");
	xs = xs.replace (/&Auml;/, "Ä");
	xs = xs.replace (/&Ouml;/, "Ö");
	xs = xs.replace (/&Uuml;/, "Ü");
	xs = xs.replace (/ä/, "ae");
	xs = xs.replace (/ö/, "oe");
	xs = xs.replace (/ü/, "ue");
	xs = xs.replace (/ß/, "ss");
	xs = xs.replace (/Ä([a-z]+)/, "Ae$1");
	xs = xs.replace (/Ö([a-z]+)/, "Oe$1");
	xs = xs.replace (/Ü([a-z]+)/, "Ue$1");
	xs = xs.replace (/Ä([A-Z]+)/, "AE$1");
	xs = xs.replace (/([A-Z]+)Ä/, "$1AE");
	xs = xs.replace (/Ö([A-Z]+)/, "OE$1");
	xs = xs.replace (/([A-Z]+)Ö/, "$1OE");
	xs = xs.replace (/Ü([A-Z]+)/, "UE$1");
	xs = xs.replace (/([A-Z]+)Ü/, "$1UE");
	// jetzt bleiben noch Einzelzeichen übrig:
	xs = xs.replace (/Ä/, "AE");
	xs = xs.replace (/Ö/, "OE");
	xs = xs.replace (/Ü/, "UE");
	xs = xs.replace (/[éèê]/, "e");
	xs = xs.replace (/[à]/, "a");
	document.write(xs);
	}
//————————————————————————————————————————————————————————————————————————————————————————————————————————
function lauf (s, typ, pr, farbe)
	// s - Text, typ - Anzeigeart, pr - Anzahl columns
	{
	if (!pr) pr = 1;
	if (!farbe) farbe = "CCFF66";
	document.write ('<td nowrap bordercolor="#666666" bgcolor="#000000" width="' + parseInt(100 / pr) + '%" ');
	if (typ % 10 == 0) document.write ('align="center" ');
	document.write ('><font face="led board reversed" color="#' + farbe + '" size="6">');
	if (typ % 10 == 1)
		{
		document.write('<marquee>');
		for (i = 0; i < 50; i++)
			{
			document.write ("&nbsp;");
			unGerman (s);
			document.write ("&nbsp;&nbsp;&nbsp;&nbsp;");
			}
		document.write ("</marquee></font></td>");
		}
	else
		{
		if (s)
			unGerman (s);
		else
			document.write ("&nbsp;");
		}
	}
//————————————————————————————————————————————————————————————————————————————————————————————————————————
var ZeitString, DatumsString = "";

function ZeitDatum () {
        Jetzt = new Date();
       
        // aktuelles Datum
        Tag = Jetzt.getDate();
        Monat = Jetzt.getMonth()+1;
        
		Jahr = Jetzt.getFullYear();
        DatumsString = ((Tag < 10) ? "0" : "") + Tag;
        DatumsString += ((Monat < 10) ? ".0" : ".") + Monat;
        DatumsString += "." + Jahr;
        document.Uhr.Datum.value = DatumsString;

        //aktuelle Uhrzeit
        Stunden = Jetzt.getHours();
        Minuten = Jetzt.getMinutes();
        Sekunden = Jetzt.getSeconds();
        ZeitString = ((Stunden < 10) ? "0" : "") + Stunden;
        ZeitString += ((Minuten < 10) ? ":0" : ":") + Minuten;
        ZeitString += ((Sekunden < 10) ? ":0" : ":") + Sekunden;
        document.Uhr.Zeit.value = ZeitString;

        setTimeout("ZeitDatum()", 1000);
}