url=document.location.href;
<!--Adressstamm ermitteln -->
pos=url.lastIndexOf('/')
if(pos>-1){
   wohin=url.substring(pos+1,url.length);
   url=url.substring(0,pos);
   }
   if(parent.inhalt){
   ref=parent.document.location.href;
   <!--Adressstamm ermitteln -->
   pos=ref.lastIndexOf('/')
   if(pos>-1){ref=ref.substring(0,pos)}
   if (ref!=url){
       document.location.href=url+'/index.html?dest='+wohin
       }
   }
   else{
   document.location.href=url+'/index.html?dest='+wohin
}