// really really really basic image rotator

var images = Array();

images[0] = "/img/header_image1.jpg";
images[1] = "/img/header_image2.jpg";
images[2] = "/img/header_image3.jpg";

function pickRandom(range) { 
	return Math.floor(Math.random() * 2);
} 

var choice = pickRandom();