function init(){
   /* DA SETTARE: */        
   var IMG_VISIBILI = 7;  /* Quante immagini sono visibili nella pagina? */
   var img_name = new Array("01.jpg","02.jpg","03.jpg","04.jpg","05.jpg","06.jpg","07.jpg","08.jpg","09.jpg","10.jpg","11.jpg","12.jpg","13.jpg","14.jpg","15.jpg","16.jpg","17.jpg","18.jpg","19.jpg","20.jpg");	

   /* =========== */
   var image = new Array();
   var mazzo = new Array();
   var len_arr = img_name.length;
   var rnd_no = Math.round((len_arr-1)*Math.random());
   for (key = 97, i = 0 ; key < (97 + IMG_VISIBILI); key++, i++){
           image[i] = document.getElementById(String.fromCharCode(key));
   }
	for (idx = 0; idx < image.length; idx++){
		while  (mazzo.exists(rnd_no)) {
			rnd_no = Math.round((len_arr-1)*Math.random());
		}
		mazzo[idx]=rnd_no
		image[idx].src = "/img/" + img_name[rnd_no];        
	}
}