

		function doubleImage(src1, src2, txt) {
			this.img1=new Image();
			this.img1.src=src1;
			this.img2=new Image();
			this.img2.src=src2;
			this.txt=txt;
		}

		browserName=navigator.appName.substring(0,8);
		browserVer=parseFloat(navigator.appVersion);

		version=0;
		if ((browserName=="Netscape")&&(browserVer>=3)) version=1;
		if ((browserName=="Microsof")&&(browserVer>=4)) version=1;

		li=new Array(14); // numero di immagini definite

		if (version) {
			// immagine MouseOut, immagine mouseOver, testo in basso
			li[1]=new doubleImage("Img/prenotazioni1.gif ", "Img/prenotazioni2.gif", "Prenotazioni online");
			li[2]=new doubleImage("Img/parcoP1.gif ", "Img/parcoP2.gif", "Parco provinciale");
			li[3]=new doubleImage("Img/piscina1.gif ", "Img/piscina2.gif", "Piscina estiva");
			li[4]=new doubleImage("Img/resort1.gif ", "Img/resort2.gif", "Resort Villaggio Vacanze");		
			li[5]=new doubleImage("Img/home1.gif ", "Img/home2.gif", "Home");
			li[6]=new doubleImage("Img/presentazione1.gif ", "Img/presentazione2.gif", "Presentazione Parco");
			li[7]=new doubleImage("Img/dovesiamo1.gif ", "Img/dovesiamo2.gif", "Dove siamo");
			li[8]=new doubleImage("Img/info1.gif ", "Img/info2.gif", "Info");
			li[9]=new doubleImage("Img/mappa1.gif ", "Img/mappa2.gif", "Mappa del parco");
			li[10]=new doubleImage("Img/orari1.gif ", "Img/orari2.gif", "Orari e tariffe");
			li[11]=new doubleImage("Img/Scuole1.gif ", "Img/Scuole2.gif", "Scuole");
			li[12]=new doubleImage("Img/offerte1.gif ", "Img/offerte2.gif", "Offerte");
			li[13]=new doubleImage("Img/mail1.gif ", "Img/mail2.gif", "E-mail");
			li[14]=new doubleImage("Img/news1.gif ", "Img/news2.gif", "News");

		}

		function validnum(n) {
			return((n>=1)&&(n<=li.length));
		}

		function msover(n) {
			if (version && validnum(n)) {
				document.images["Image"+n].src=li[n].img2.src;
				document.images["Image"+n].alt=li[n].txt;
			}
		}

		function msout(n) {
			if (version && validnum(n)) {
				document.images["Image"+n].src=li[n].img1.src;
				document.images["Image"+n].alt=li[n].txt;
			}
		}

