if (window.name!='buehne' && window.name!='booker_'
		 && !((self.innerHeight == 0) && (self.innerWidth == 0)))
		top.location.replace('/?'+self.location.href+'~buehne');