var imgs=new Array();
imgs[0]="/images/home/1.gif";
imgs[1]="/images/home/2.gif";
imgs[2]="/images/home/3.gif";
imgs[3]="/images/home/4.gif";
imgs[4]="/images/home/5.gif";
imgs[5]="/images/home/6.gif";
imgs[6]="/images/home/7.gif";
var cpt=0;
function changeimages()
{
	document.getElementById("ima").src=imgs[cpt];
	cpt++;
	if(cpt>=imgs.length) cpt=0;
	setTimeout("changeimages()",3000);
}