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