var immagini=new Array ('hotel6-big.jpg','home.jpg','camera2-big.jpg','hotel1-big.jpg');

function randomImage() {
 var i=Math.floor(Math.random()*immagini.length);
 document.getElementById('idimg').src='images/'+immagini[i];
}