// parte modificabile per variare l'elemento che cambierà sfondo
// e le immagini da utilizzare

// l'elemento che cambierà sfondo è questo
var id="header2";

var imgArray=new Array("Immagini/sfondo1.jpg","Immagini/sfondo2.jpg","Immagini/sfondo3.jpg","Immagini/sfondo4.jpg","Immagini/sfondo5.jpg","Immagini/sfondo6.jpg","Immagini/sfondo7.jpg","Immagini/sfondo8.jpg");

// 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()",100);
}

function RandomImage(){
return(imgArray[Math.round(Math.random()*(imgArray.length-1))]);
}
