function change_images() {
		// img preload
		date = new Date();
		src = "/rand_img.php?hash=" + date.getTime();
		image = new Image();
  		image.src = src;
		setTimeout("change_logo()",5000)
	}
	
	function change_logo() {
		var e = document.getElementById('banner');
		
		e.style.background = "#990000 url("+src+") no-repeat";
		change_images();
	}
	change_images();