var rand1 = 0;
var useRand = 0;

images = new Array;
images[1] = new Image();
images[1].src = "tarochi/01_cangrande.jpg";
images[2] = new Image();
images[2].src = "tarochi/02_gobo.jpg";
images[3] = new Image();
images[3].src = "tarochi/03_sanzeno.jpg";
images[4] = new Image();
images[4].src = "tarochi/04_giulieta.jpg";
images[5] = new Image();
images[5].src = "tarochi/05_palassobarbieri.jpg";
images[6] = new Image();
images[6].src = "tarochi/06_papagnoco.jpg";
images[7] = new Image();
images[7].src = "tarochi/07_elstadio.jpg";
images[8] = new Image();
images[8].src = "tarochi/08_campon.jpg";
images[9] = new Image();
images[9].src = "tarochi/09_camaldolesi.jpg";
images[10] = new Image();
images[10].src = "tarochi/10_bartoldo.jpg";
images[11] = new Image();
images[11].src = "tarochi/11_adese.jpg";
images[12] = new Image();
images[12].src = "tarochi/12_spluga.jpg";
images[13] = new Image();
images[13].src = "tarochi/13_montebaldo.jpg";
images[14] = new Image();
images[14].src = "tarochi/14_labassa.jpg";
images[15] = new Image();
images[15].src = "tarochi/15_labissa.jpg";
images[16] = new Image();
images[16].src = "tarochi/16_santalussia.jpg";
images[17] = new Image();
images[17].src = "tarochi/17_aeroporto.jpg";
function swapPic() {
var imgnum = images.length - 1;
do {
var randnum = Math.random();
rand1 = Math.round((imgnum - 1) * randnum) + 1;
} while (rand1 == useRand);
useRand = rand1;
document.randimg.src = images[useRand].src;
}
window.onload=swapPic;