var numImg = 14;
var aImg = new Array(numImg);

aImg[0] = "/images/hotel/01.jpg";
aImg[1] = "/images/hotel/02.jpg";
aImg[2] = "/images/hotel/03.jpg";
aImg[4] = "/images/hotel/05.jpg";
aImg[5] = "/images/hotel/06.jpg";
aImg[6] = "/images/hotel/07.jpg";
aImg[14] = "/images/hotel/14.jpg";
aImg[15] = "/images/hotel/15.jpg";
aImg[16] = "/images/hotel/16.jpg";
aImg[17] = "/images/hotel/17.jpg";


aImg[7] = "/images/servizi/02.jpg";
aImg[8] = "/images/servizi/03.jpg";
aImg[9] = "/images/servizi/04.jpg";
aImg[10] = "/images/servizi/05.jpg";
aImg[11] = "/images/servizi/08.jpg";

function cambiaImmagine(num) {
	var boxImg = document.getElementById("imgGrande");
	if(boxImg) {
		boxImg.src = aImg[num];
	}
}