if (self != top)
{
top.location.href=self.location.href;
}
var frameset_geladen = "okay";
function tauschen()
{
neu_url = self.location.search;
anker = self.location.search.indexOf('*');
if(neu_url.length > 0)
if (anker == -1)
self.Inhalt.location.href = neu_url.substring(1,neu_url.length);
else
self.Inhalt.location.href = neu_url.substring(1,anker)
+ '#'
+ neu_url.substring(anker+1,neu_url.length);
}