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

var id="home";
var id2="header";

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

var imgArray=new Array("013.jpg","014.jpg","015.jpg","016.jpg","018.jpg");
var imgArray2=new Array("22.jpg","23.jpg","24.jpg","25.jpg","26.jpg","27.jpg");

//da qui in poi non sono necessarie modifiche

//var D1 = new Date(2007,11,19);
//var D2 = new Date(2008,00,06);
//var DD = new Date();
//if ((document.getElementById) && ((DD < D1) || (DD > D2))) MakeHeader();
//
//function MakeHeader(){
//var el=document.getElementById(id);
//if(el) el.style.background="url(/images/home/"+RandomImage()+")";
//else setTimeout("MakeHeader()",100);
//}
//
//function RandomImage(){
//return(imgArray[Math.round(Math.random()*(imgArray.length-1))]);
//}


if(document.getElementById) MakeHeader2();

function MakeHeader2(){
var el=document.getElementById(id2);
if(el) el.style.background="url(/images/top/"+RandomImage2()+")";
else setTimeout("MakeHeader2()",100);
}

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