function zufallsBild() {

	bildnummer = Math.floor(Math.random()*5)+1;
	document.getElementById('rotation1').src = '/img/rotation/bild'+bildnummer+'.jpg';
}