/*
    ein paar JavaScript-Routinen, die man braucht oder auch nicht
*/

/* aus jeglichen framesets entkommen */
function UnFrame() {

	if ( top.window.frames.length != 0 ) {
		top.window.location.href = location.href;
	}

} 


/* und das mit dem entkommen machen wir gleich mal */

// UnFrame();