var vettore =
        new Array
          (
            new Array("http://www.scuolapitagora.it","../banner/1.gif"),
            new Array("http://www.bricook.it","../banner/2.gif"),
            new Array("http://www.unieuro.com","../banner/3.gif"),
	    new Array("http://www.lafestadelvino.it","../banner/4.jpg"),
	    new Array("http://www.edilarena.com/","../banner/5.gif")
          );
      
      function randomBanner()
      {
        ruotaBanner();
        setInterval("ruotaBanner()", 16000); 
      }

      function ruotaBanner() {
        var rnd = Math.floor(Math.random() * vettore.length); 
        document.getElementById('myLink').href = vettore[rnd][0];
        document.getElementById('banner').src  = vettore[rnd][1];
      }