//<![CDATA[
var time = 8; // Time in seconds
var banners = new Array();
var last_index = 1;

function UpdateBanner(id) {
	var index = (last_index % 2);
	last_index = ((last_index) % 2) + 1;
	document.getElementById(id).src = banners[index].src;
	document.getElementById(id).useMap = '#map_foot' + index;
}

banners.push(new Image());
banners[0].src = 'images/banner/foot0.png';
banners.push(new Image());
banners[1].src = 'images/banner/foot1.png';


setInterval('UpdateBanner(\'banner\')', (time * 1000));
//]]>