//Image Rotate Script
var imgArray = new Array();

//Place image names here:
imgArray[0] = "images/ban_pic1.jpg";
imgArray[1] = "images/ban_pic2.jpg";
imgArray[2] = "images/ban_pic3.jpg";
imgArray[3] = "images/ban_pic4.jpg";
imgArray[4] = "images/ban_pic5.jpg";
imgArray[5] = "images/ban_pic6.jpg";
imgArray[6] = "images/ban_pic7.jpg";
imgArray[7] = "images/ban_pic8.jpg";
imgArray[8] = "images/ban_pic9.jpg";
imgArray[9] = "images/ban_pic10.jpg";
imgArray[10] = "images/ban_pic11.jpg";

var numImgs=imgArray.length;

function init()
	{
		if (!document.images) return
		var randNum = Math.floor(Math.random() * numImgs);
		document.images['banner'].src = imgArray[randNum];
	}