// JavaScript Document
//Stig Kamph 20080512: To randomize header images onLoad
//Build array with the banner images
var pix = new Array();
pix[0] = "/images/banner1.jpg";
pix[1] = "/images/banner2.jpg";
pix[2] = "/images/banner3.jpg";
pix[3] = "/images/banner4.jpg";
pix[4] = "/images/banner5.jpg";
pix[5] = "/images/banner6.jpg";
pix[6] = "/images/banner7.jpg";
pix[7] = "/images/banner8.jpg";
pix[8] = "/images/banner9.jpg";
pix[9] = "/images/banner10.jpg";
pix[10] = "/images/banner11.jpg";
pix[11] = "/images/banner12.jpg";

//Random number generator
function randomNumber(n) {
	number = Math.floor(Math.random()* (n+1));
	return number;
}
//end script