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