function setRandomBanner() {
	random_num = Math.floor(Math.random()*8) + 1;
	$('#banner_img').addClass("banner_img" + random_num);
} 
