var imgs=new Array();
imgs[0]="./images/facciata.jpg";
imgs[1]="./images/30ALL/IMG_2157.JPG";
imgs[2]="./images/30ALL/IMG_2158.JPG";
imgs[3]="./images/30ALL/IMG_2161.JPG";
imgs[4]="./images/30ALL/IMG_2164.JPG";
var cpt=0;
function changeimages()
{
	document.getElementById("ima").src=imgs[cpt];
	cpt++;
	if(cpt>=imgs.length) cpt=0;
	setTimeout("changeimages()",3000);
}