function checkFramecall()
	{
	var fenster=window.name;
	if (fenster.substring(fenster.length-8,fenster.length)=="Leinhaus") 
		{
		frames.hauptfenster.location.href=fenster.substring(0,fenster.length-8) + ".html";
		self.name="default";
		}
	self.name="default";
	}