// JavaScript Document
function changeImg(){
	//num = (num+1) % Banner.length;
	if (num >= sum){ num = 0;}
	document.all('BannerImg').innerHTML = Banner[num];
	num ++;
	setTimeout('changeImg()',5000);
}