// image rotator script

var n=0;
var t=0;
var a=null;

var imgs = new Array();
imgs[0] = new Image(); imgs[0].src =  "/images/animation/CFT1.gif";
imgs[1] = new Image(); imgs[1].src =  "/images/animation/CFT2.gif";
imgs[2] = new Image(); imgs[2].src =  "/images/animation/CFT3.gif";
imgs[3] = new Image(); imgs[3].src =  "/images/animation/CFT4.gif";
imgs[4] = new Image(); imgs[4].src =  "/images/animation/CFT5.gif";
imgs[5] = new Image(); imgs[5].src =  "/images/animation/CFT6.gif";

function rotate(){
	t=(t+1);
	n=(n+1)%6;
	if (t<18) document.getElementById("p1").src=imgs[n].src;
	if(a==null)a=setInterval("rotate()",4000);
}