<!--

// Replace URL if frameset-variable != 1 or does not exist

var ZielDatei = "index.html?"+location.pathname; 

if (!top.FramesetGeladen){

	if(document.images)

		top.location.replace(ZielDatei);

	else

		top.location.href = ZielDatei ;

}

//-->