// really really really basic image rotator

var images = Array();

images[0] = "/img/header_img.jpg";
images[1] = "/img/header_img1.jpg";
images[2] = "/img/header_img2.jpg";
images[3] = "/img/header_img3.jpg";
images[4] = "/img/header_img4.jpg";
images[5] = "/img/header_img5.jpg";
images[6] = "/img/header_img6.jpg";
images[7] = "/img/header_img7.jpg";
images[8] = "/img/header_img8.jpg";
images[9] = "/img/header_img9.jpg";
images[10] = "/img/header_img10.jpg";
images[11] = "/img/header_img11.jpg";
images[12] = "/img/header_img12.jpg";

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

var choice = pickRandom();