function changeColor(n, c) {
	document.getElementById(n).style.color=c;
}

var theImages = new Array() // do not change this
//EDIT ROTATING IMAGES HERE
	theImages[0] = 'images/hpBanner1.png'
	theImages[1] = 'images/hpBanner2.png'
	theImages[2] = 'images/hpBanner3.png'
	theImages[3] = 'images/hpBanner4.png'
	theImages[4] = 'images/hpBanner5.png'
	theImages[5] = 'images/hpBanner6.png'
//DO NOT EDIT BELOW THIS LINE

var j = 0
var p = theImages.length;
var preBuffer = new Array()
for (i = 0; i < p; i++){
   preBuffer[i] = new Image()
   preBuffer[i].src = theImages[i]
}
var whichImage = Math.round(Math.random()*(p-1));

function showImage(){
	document.getElementById("hpBanner").style.backgroundImage="url("+theImages[whichImage]+")";	
}