images = new Array(8);
images[0] = "images/header1.jpg";
images[1] = "images/header2.jpg";
images[2] = "images/header3.jpg";
images[3] = "images/header4.jpg";
images[4] = "images/header5.jpg";
images[5] = "images/header6.jpg";
images[6] = "images/header7.jpg";
images[7] = "images/header.gif";

function rotate()
{
	randNum = Math.floor(Math.random()*7);
	document.getElementById("header").style.backgroundImage = "url("+images[randNum]+")";
	setTimeout("rotate()",10000);
}