if (document.getElementById){
	var rand_no = Math.floor((12-0)*Math.random()) + 1;
	var thebannerimage = 'url(\"/images2/ResultsMatterBanners/ResultsMatterBanner' + rand_no + '.jpg\")'
	//alert (thebannerimage);
	document.getElementById('header').style.backgroundImage = thebannerimage;
}