function framing() {
	if (top.frames.length == 0 || (this.name != "inhalt") && (this.name != "bottom_fr")) {
		top.location.replace( "/index.php3?new=" + this.location.pathname );
	}
}