window.onload=function(){
	if(typeof(images) != "undefined"){
		loop_images('img1',images);
	}
}
function loop_images(id,images) {
	document.getElementById(id).src='/images/'+images[0];
	images.push(images.shift());
	setTimeout(function(){loop_images(id,images)},6000);
}