var backgroundSrcs = new Array("banner.jpg","banner3.jpg","banner5.jpg","banner4.jpg")

function pickimage()
{
var bgimage=backgroundSrcs[(Math.round(Math.random()*(backgroundSrcs.length-1)))]
document.getElementById("masthead").style.backgroundImage = "url('" + bgimage + "')";
}