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