window.onload = choosePic;

var myPix = new Array("images/banners/past2.jpg","images/banners/past1.jpg","images/banners/past5.jpg","images/banners/past3.jpg","images/banners/past4.jpg");

function choosePic() {
	randomNum =	Math.floor((Math.random() * myPix.length));
	document.getElementById("bannerRotate").src = myPix[randomNum];
}