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