theImages = new Array();
theImages[0] = "/images/banners/Baelle01.jpg"
theImages[1] = "/images/banners/Baelle02.jpg"
theImages[2] = "/images/banners/Baelle06.jpg"
theImages[3] = "/images/banners/Baelle07.jpg"
theImages[4] = "/images/banners/Baelle08.jpg"
theImages[5] = "/images/banners/Halle02.jpg"
theImages[6] = "/images/banners/Halle03.jpg"
theImages[7] = "/images/banners/Halle04.jpg"
theImages[8] = "/images/banners/Halle12.jpg"
theImages[9] = "/images/banners/Outside03.jpg"
theImages[10] = "/images/banners/Outside05.jpg"
theImages[11] = "/images/banners/Outside07.jpg"
theImages[12] = "/images/banners/Spielbetrieb10.jpg"
theImages[13] = "/images/banners/Spielbetrieb17.jpg"
theImages[14] = "/images/banners/Spielbetrieb20.jpg"
theImages[15] = "/images/banners/Spielbetrieb37.jpg"
theImages[16] = "/images/banners/Spielbetrieb40.jpg"

// do not edit anything below this line
var p = theImages.length;

function rotateImage(place) {
	var whichImage = Math.round(Math.random()*(p-1));
	document.getElementById(place).src = theImages[whichImage];
	}