var Bild=new Array ("grafics/Bilder/aktuelles/Bilder/badi_2.jpg", "grafics/Bilder/aktuelles/Bilder/badi_3.jpg", "grafics/Bilder/aktuelles/Bilder/badi_1.jpg");
var a;
function wechsel1 () {
	window.document.images.badi.src=Bild[1];
	window.setTimeout('wechsel2 ()', 4000);
	}
function wechsel2 () {
	window.document.images.badi.src=Bild[2];
	window.setTimeout('wechsel3 ()', 4000);
	}
function wechsel3 () {
	window.document.images.badi.src=Bild[0];
	window.setTimeout('wechsel1 ()', 4000);
	}