function index(){
  if (parent && (parent != self)){
     if (parent.links && parent.links.Wechsel){
        parent.links.Wechsel(self.location.href,self.location.pathname);
        }
     else {setTimeout('index()',1000);}}
   else {
     self.location.pathname="/";}
   return 1;}

window.onload=index;