// Copyright bei Thomas Jackelen

if( (!top.gskframeset || top.gskframeset != "yes") && self.location.protocol == 'http:')
{
	var ziel = "/index.html?" + self.location.pathname + self.location.search + self.location.hash;
	if (document.images)
		top.location.replace(ziel);
	else
		top.location.href=ziel;
}

function InsertMail(name,server,dom,text)
{
	if (text == "")
		document.write('<a href="mailto:'+name+'@'+server+'.'+dom+'">'+name+'@'+server+'.'+dom+'</a>');
	else
		document.write('<a href="mailto:'+name+'@'+server+'.'+dom+'">'+text+'</a>');
}