function randomize() {
    var numOfBanners = 3;
	var bannerIndex = Math.floor(numOfBanners*Math.random()) + 1;
	var bannerFile = "images2/banner" + bannerIndex + ".jpg";
	document.banner.src = bannerFile;
}