function goBanner(){
	var image_number = 3 //this should be the total number of images you want to switch
	var ran_number=Math.round(Math.random()*(image_number-1));
	var image_name = "url(images/banner" + ran_number + ".jpg)";
	window.document.all.banner.style.background=image_name;

}