var ordner = location.pathname.substring(1,location.pathname.lastIndexOf('/')+1);
var datei = location.pathname.substring(ordner.length+1,location.pathname.length);
anzahl = ordner.split("/");
var hinten = "";
for (i=1; i<anzahl.length; i++) {hinten += "../"}
if (window.name!='main' && window.name!='booker_'
		 && !((self.innerHeight == 0) && (self.innerWidth == 0)))
		top.location.replace(hinten + 'frameset.html?' + ordner + datei + '~main');
		
if (top.location!=self.location)
{
 //alert("first");
  var a=String(top.location);
 //alert(a.substring(a.length-13,a.length));
if(a.substring(a.length-13,a.length)!="frameset.html")
  {
  top.location="frameset.html";
  }
}