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