var imgs=new Array();
imgs[0]="images/ref1.gif";
imgs[1]="images/ref2.gif";
imgs[2]="images/ref4.gif";
//imgs[3]="images/ref3.jpg";
var cpt=0;
function changeimages()
{
	document.getElementById("ima").src=imgs[cpt];
	cpt++;
	if(cpt>=imgs.length) cpt=0;
	setTimeout("changeimages()",3000);
}