var bannertime=6000;

var startb=Math.floor(Math.random()*banner_list.length);
function banners()
{
	var banner=banner_list[startb];
	document.getElementById('banner').innerHTML=banner;
	
	startb++;
	if(startb>=banner_list.length) startb=0;
	
	setTimeout("banners()",bannertime);
}