function swap(){
	img=document.getElementById('image1');
	if(x>anzahl)
		x=0;
	img.style.backgroundImage='url('+images[x].src+')';
	x++;
	window.setTimeout('swap()',4000);
}