imgNumberbanner = -1;
banner_list.sort(function() {return 0.5 - Math.random();});

function swapbanner()
{ 
	imgNumberbanner++;
	//imgNumberbanner = Math.floor(Math.random()*banner_list.length);
	
	if (imgNumberbanner > banner_list.length - 1)
	{
		banner_list.sort(function() {return 0.5 - Math.random();});
		imgNumberbanner = 0
	}
	if (banner_list.length != 0)
	{
		document.getElementById("banner").innerHTML = banner_list[imgNumberbanner];
	}
	setTimeout('swapbanner()',12000);
}