// this script controls the rotating image
var theHeader = new Array() 

// edit the following array if the images change
theHeader[0] = '../img/headers/header01.jpg'
theHeader[1] = '../img/headers/header02.jpg'
theHeader[2] = '../img/headers/header03.jpg'
theHeader[3] = '../img/headers/header04.jpg'
theHeader[4] = '../img/headers/header05.jpg'
var j = 0
var p = theHeader.length;
var preBuffer = new Array()
for (i = 0; i < p; i++){
   preBuffer[i] = new Image()
   preBuffer[i].src = theHeader[i]
}
var whichHeader = Math.round(Math.random()*(p-1));
function showHeader()
{
		
	document.write("<div style=\"width:755px; height:117px; background-image:url("+theHeader[whichHeader]+");background-repeat:norepeat;\">&nbsp;</div>");
	
}

//  End -->
