// image rotator
var images = Array();

images[1] = "http://www.propertiesonline.com.au/rw_ebaypotts/img/random/1.jpg";
images[2] = "http://www.propertiesonline.com.au/rw_ebaypotts/img/random/2.jpg";
images[3] = "http://www.propertiesonline.com.au/rw_ebaypotts/img/random/3.jpg";
images[4] = "http://www.propertiesonline.com.au/rw_ebaypotts/img/random/4.jpg";

function rndImage() {
	var randImage1 = document.getElementById("randImg1");
	var randImage2 = document.getElementById("randImg2");
	var randImage3 = document.getElementById("randImg3");
	var randImage4 = document.getElementById("randImg4");
	var choose1;
	var choose2;
	var choose3;
	var choose4;
	choose1 = Math.floor(Math.random()*images.length);
	choose2 = Math.floor(Math.random()*images.length);
	choose3 = Math.floor(Math.random()*images.length);
	choose4 = Math.floor(Math.random()*images.length);
	while(choose1 == choose4) {
		choose4 = Math.floor(Math.random()*images.length);
		}
	randImage1.setAttribute("src",images[choose1]);
	randImage2.setAttribute("src",images[choose2]);
	randImage3.setAttribute("src",images[choose3]);
	randImage4.setAttribute("src",images[choose4]);
}