<!--

if(window.attachEvent) window.attachEvent('onload',chooseImage);
else if(window.addEventListener) window.addEventListener('load',chooseImage,false);


function chooseImage() {

	var ran_number=Math.round(Math.random()*(theImages.length-1));
	var chosenImage=theImages[ran_number];

	if(document.getElementById) {
		document.getElementById('header').style.backgroundImage='url(' + chosenImage + ')';
	}
	else {
		document.all['header'].style.backgroundImage='url(' + chosenImage + ')';
	}
}

//-->