var id="head";
var imgArray=new Array("img/headm_ottimizzato.png", "img/headw_ottimizzato.png");

// da qui in poi non sono necessarie modifiche

if(document.getElementById) MakeHeader();

function MakeHeader(){
var el=document.getElementById(id);
if(el) el.style.background="url("+RandomImage()+")";
else setTimeout("MakeHeader()",0);
}

function RandomImage(){
return(imgArray[Math.round(Math.random()*(imgArray.length-1))]);
}