// JavaScript Document
window.onload = choosePic;

var myPix = new Array("images/banners/banner0.jpg","images/banners/banner1.jpg","images/banners/banner2.jpg","images/banners/banner3.jpg");

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