var pn = window.location.pathname;
pn = pn.substring(1, pn.length);
var bs = "";
var i = 0; while (i < pn.length) { if (pn.charAt(i) == "/") bs = bs + "../"; i = i + 1; }
var thispagename = self.location.href.substring(self.location.href.lastIndexOf('/')+1,self.location.href.length);
if(!parent.haupt){window.location.href=bs+"index.html?"+pn;}