var i;
	var s;
	function bildwechsel(i,s){
	window.document.images[i].src=s;
	}