function init()
{
	if (parent !=null && parent !=self)
	{
	var host=parent.location.hostname;
	if (host !="www.jochen-seidel.de")
		{
		top.location.href=self.location.href;
		}
	}
}