function tauschen()
{
neu_url = self.location.search;
 anker = self.location.search.indexOf('*');
 
   if(neu_url.length > 0)
      {if(anker == -1)

        self.contFrame.location.href = neu_url.substring(1,neu_url.length);
      else
         self.contFrame.location.href = neu_url.substring(1,anker) + '#'
           + neu_url.substring(anker+1,neu_url.length);
      }

}
