// tra virgolette, l' id dell'elemento
// su cui avere le immagini random

var id="header";

//qui sotto tra virgolette andranno indicati i
//nomi delle immagini separate da una virgola.

var imgArray=new Array("img/header.jpg","img/header02.jpg","img/header03.jpg",
  "img/header04.jpg","img/header05.jpg","img/header06.jpg","img/header07.jpg","img/header08.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))]);
}