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);
		}       
	}
	//set navigation
	elements = document.getElementById('banners').getElementsByTagName('ul')[0].getElementsByTagName('li');
	total_banners = elements.length;
	for (var i = 0; i < elements.length; i++) 
	{ 
		elements[i].title = i + 1;
		elements[i].onmouseover = function () 
		{
			banner(this.title);
			clearTimeout(wait);
		}
		elements[i].onmouseout = function () 
		{
			clearTimeout(wait);
			wait = setTimeout('nextBanner()',bannertime);
		}       
	}
	wait = setTimeout('nextBanner()',bannertime);
} 


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


function nextBanner() 
{
	if(current_banner < total_banners) 
	{
		current_banner ++; 
	}

	else
	{       
		current_banner = 1;
	}

	banner(current_banner);
}