/* image rotator by Carsten Altena, Max.nl 20050629 */

/* all the images and urls in an array... */
var images=new Array(
	new Array ("/graphics/houses/huis2.jpg"),
	new Array ("/graphics/houses/huis3.jpg"),
	new Array ("/graphics/houses/huis4.jpg"),
	new Array ("/graphics/houses/huis5.jpg"),
	new Array ("/graphics/houses/huis7.jpg"),
	new Array ("/graphics/houses/huis10.jpg"),
	new Array ("/graphics/houses/huis12.jpg"),
	new Array ("/graphics/houses/huis15.jpg"),
	new Array ("/graphics/houses/huis16.jpg"),
	new Array ("/graphics/houses/huis17.jpg"),
	new Array ("/graphics/houses/huis18.jpg"),
	new Array ("/graphics/houses/huis20.jpg"),
	new Array ("/graphics/houses/huis21.jpg"),
	new Array ("/graphics/houses/huis23.jpg")
)

function randOrd() {
	return (Math.round(Math.random())-0.5); 
}

images.sort( randOrd );

/* making it all happen... */
pick = 0;

function rotateImage() {
	if (document.getElementById('rotatingimage')) {
		document.getElementById('rotatingimage').src = images[pick][0];
	}
}