$(window).load(function(){
	var banner_num=Math.round(Math.random()*12);
	var str="banners/"+banner_num+".jpg";
	$("div.banner img").attr("src",str);
});