var TIMER = 5000;	//In miliseconds

var NUM_PICTURES_RIGHT = 5;

var picList = new Array(NUM_PICTURES_RIGHT);

picList[0] = '/images/image1.jpg';
picList[1] = '/images/image2.jpg';
picList[2] = '/images/image3.jpg';
picList[3] = '/images/image4.jpg';
picList[4] = '/images/image5.jpg';

var nextPic = 0;


function changePic_auto(){
	var PicId;

	//Now decide how long for next change. Some time between 2 and 5 seconds
	TIMER = 4// + (Math.random()*3);
	TIMER = TIMER * 1000;

	//Now change it
	picId = 'flipPic';

	//	nextPic = Math.floor(Math.random()*(NUM_PICTURES_RIGHT));
	document.getElementById(picId).src = picList[nextPic];
	nextPic = nextPic+1;
	nextPic = nextPic % NUM_PICTURES_RIGHT;
	
	window.setTimeout("changePic_auto()", TIMER);
}