function randImg(){
	randImgSrc = "banner"+(Math.floor(Math.random()*5)+1)+".jpg";
	document.getElementById("rightbanner").style.background="url(/webdata/graphics/"+randImgSrc+") no-repeat";
}