var	banner_timer	= 5000;

var	banner_img	= document.getElementById ("banner_img");
var	banner_uri	= document.getElementById ("banner_uri");

var	banner_OCK	= 
[
	function () { return false; },
	function () { return true; },
	function () { return !window.open (this.href); }
];

function banners_rotate (x)
{
	setTimeout ('banners_rotate (banPos + 1);', banner_timer);

	banPos				= (x + banLen) % banLen;


	banner_uri.href			= banURIs[banPos];
	banner_uri.onclick		= banner_OCK[parseInt (banOCKs[banPos])];

	banner_img.src			= banImgs[banPos];
	banner_img.alt			= banTtls[banPos];

	return false;
}


setTimeout ('banners_rotate (banPos + 1);', banner_timer);