var ZielDatei = "/index.html?"+location.pathname;
if (!top.FramesetGeladen){
if(document.images)
top.location.replace(ZielDatei);
else
top.location.href = ZielDatei ;
}