if (document.images){
	bild0 = new Array;
	bild1 = new Array;

	for (i=1;i<=7;i++){
		bild0[i] = new Image;
		bild0[i].src = 'bildern/navi'+i+'_0.gif';

		bild1[i] = new Image;
		bild1[i].src = 'bildern/navi'+i+'_1.gif';
	}
}


function TauscheImage(obj,ersatz){
	if (document.images){ 
		obj.src='bildern/navi'+ersatz+'.gif';
	}
}