var current_banner = 1;
var total_banners = 0;
var wait = 0;

function banner_init()
{

	//stop banner change if mouse over one banner
	elements = document.getElementById('banners').getElementsByTagName('div');
	total_banners = elements.length;
	for (var i = 0; i < elements.length; i++)
	{
		elements[i].onmouseover = function ()
		{
			clearTimeout(wait);
		}
 		elements[i].onmouseout = function ()
		{
			clearTimeout(wait);
			wait = setTimeout('nextBanner()',bannertime);
		}
	}
	wait = setTimeout('nextBanner()',bannertime);
}


function banner(nr)
{
	clearTimeout(wait);
	elements = document.getElementById('banners').getElementsByTagName('div');
	//hide all divs
	for (var i = 0; i < elements.length; i++)
	{
		if (nr == (i + 1))
		{
			//show selected banner
			elements[i].style.display = "block";
		} else
		{	//hide everything else
			elements[i].style.display = "none";
		}
	}
	wait = setTimeout('nextBanner()',bannertime);
}

function nextBanner()
{
	if(current_banner < total_banners)
	{
		current_banner ++;
	}
	else
	{	current_banner = 1;
	}
	banner(current_banner);
}