// JavaScript Document
var imgs=new Array();
imgs[0]="images/header.jpg";
imgs[1]="images/header2.jpg";
imgs[2]="images/header3.jpg";
imgs[3]="images/header4.jpg";
var cpt=0;
function changeimages()
{
	document.getElementById("ima").src=imgs[cpt];
	cpt++;
	if(cpt>=imgs.length) cpt=0;
	setTimeout("changeimages()",10000);
}