var randNum = Math.floor(Math.random()*4)+1;
document.getElementById("mast-l").src = "http://grfx.cstv.com/schools/stjo/graphics/stjo-07-hdr-index-" + randNum + ".jpg";