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