function buttontausch(aktiver_button, bannerdatei)

{

	var anzahl_buttons=parent.navigationsseite.document.images.length;

	var zaehler=0;




	bannerdatei_alt_pfad=parent.banner.location.href;

	bannerdatei_alt_datei=bannerdatei_alt_pfad.substring(bannerdatei_alt_pfad.lastIndexOf("/")+1,bannerdatei_alt_pfad.lastIndexOf("."));

	bannerdatei_neu_datei=bannerdatei.substring(bannerdatei.lastIndexOf("/")+1,bannerdatei.lastIndexOf("."));

	if(bannerdatei_alt_datei!=bannerdatei_neu_datei)

		parent.banner.location.href = bannerdatei;


	for(zaehler==0; zaehler<anzahl_buttons;zaehler++)

	{

		bildname=parent.navigationsseite.document.images[zaehler].src;

		if(bildname.substring(bildname.lastIndexOf("_")+1,bildname.lastIndexOf("."))==aktiver_button)

			neuer_bildname="buttons/aktiv"+bildname.substring(bildname.lastIndexOf("_"),bildname.lastIndexOf("."))+".jpg";

		else

			neuer_bildname="buttons/normal"+bildname.substring(bildname.lastIndexOf("_"),bildname.lastIndexOf("."))+".jpg";

		parent.navigationsseite.document.images[zaehler].src=neuer_bildname;

	}

	self.focus();

}