<!--
function Frames_nachladen()
{
 if(top==self)
 {
  Adresse=this.location.href;
  Dateiname=Adresse.substring(Adresse.lastIndexOf("/"),Adresse.length);
  Ordner=Adresse.substring(0,Adresse.length-Dateiname.length);
  Ordner=Ordner.substring(Ordner.lastIndexOf("/")+1,Ordner.length);
  window.location.href="../index.html#"+Ordner+Dateiname;
 }
 return
}
//-->