var backgroundSrcs = new Array("titulo1.jpg","titulo2.jpg","titulo4.jpg","titulo5.jpg","banner4.jpg")

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