// JavaScript Document
function randImg(){
	randImgSrc = "random0"+(Math.floor(Math.random()*7)+1)+".gif";
	document.getElementById("randomHeading").style.background="url(/webdata/graphics/"+randImgSrc+") no-repeat";
}