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

aImg[0] = "/images/azienda/01.jpg";
aImg[1] = "/images/azienda/02.jpg";
aImg[2] = "/images/azienda/03.jpg";
aImg[3] = "/images/azienda/04.jpg";
aImg[4] = "/images/azienda/05.jpg";
aImg[5] = "/images/azienda/06.jpg";
aImg[6] = "/images/azienda/07.jpg";
aImg[7] = "/images/azienda/08.jpg";
aImg[8] = "/images/azienda/09.jpg";
aImg[9] = "/images/azienda/10.jpg";
aImg[10] = "/images/azienda/11.jpg";
aImg[11] = "/images/azienda/12.jpg";


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