// JavaScript Document

var bannerImages = new Array();
bannerImages[0] = "images/home/pic_rotate_1.jpg";
bannerImages[1] = "images/home/pic_rotate_2.jpg";
bannerImages[2] = "images/home/pic_rotate_3.jpg";

function getRandom(){
	var totalLength = bannerImages.length;
	var ranNum= Math.floor(Math.random()*totalLength);
    return ranNum;
}

function Rotator(){
	var selector = getRandom();
	
	var inputBanner = document.getElementById('banner_image');
	inputBanner.src = bannerImages[selector];
}