// Set up the image files to be used.
  var theImages = new Array() // do not change this
  
  theImages[0] = 'random_01.jpg'
  theImages[1] = 'random_02.jpg'
  theImages[2] = 'random_03.jpg'
  theImages[3] = 'random_04.jpg'
  theImages[4] = 'random_05.jpg'
	//theImages[5] = 'random_06.jpg'
  theImages[5] = 'random_07.jpg'
	theImages[6] = 'random_08.jpg'
	theImages[7] = 'random_09.jpg'
	theImages[8] = 'random_10.jpg'
	
  var j = 0
  var p = theImages.length;
  var preBuffer = new Array()
  for (i = 0; i < p; i++){
     preBuffer[i] = new Image()
     preBuffer[i].src = theImages[i]
  }
  var whichImage = Math.round(Math.random()*(p-1));
  function showImage(){
  document.write('<img src="images/'+theImages[whichImage]+'"><br />');
  }
  
  //  End -->

	/************************** utilities:rollover   ***************************************/
	             var browserVer=parseInt(navigator.appVersion);
               var InternetExplorer=navigator.appName.indexOf("Microsoft")!=-1;
               var NetscapeNavigator=navigator.appName.indexOf("Netscape")!=-1;
               var dynamicImg=(browserVer>=3)&&(InternetExplorer||NetscapeNavigator);
               
               // funzione di appoggio per allocare immagini
               function allocImg(name,x,y)
               {
                       temp=new Image(x,y);
                       temp.src=name;
                       return temp;
               }
               
               // dichiarazione immagini
               if (dynamicImg) {
                       sportello_off=allocImg("images/sportello_off.gif",442,19);
                       sportello_on=allocImg("images/sportello_on.gif",442,19);
					   
  						 	}
                       
               // stato attivo
               function bon(imgName,num)       {
                   if (dynamicImg)             document[imgName+num].src=eval(imgName+ "_on.src");       
               }
               
               // stato normale
               function boff(imgName,num)      {
                   if (dynamicImg)             document[imgName+num].src=eval(imgName+ "_off.src");      
               }

 /*********************** utilities fine ***********************************************/