// JavaScript Document

<!--
var banners = new Array(
	'banners/banner1.jpg',
	'banners/banner2.jpg',
	'banners/banner3.jpg',
	'banners/banner4.jpg',
	'banners/banner5.jpg',
	'banners/banner6.jpg',
	'banners/banner7.jpg',
	'banners/banner8.jpg',
	'banners/banner9.jpg',
	'banners/banner10.jpg');
var old = 0;
var current = 9;

function init()
{
	if (!document.images) return
	while (current == old)
	{
		current = Math.floor(Math.random()*banners.length);
	}
	old = current;
	document.images['banner'].src = banners[current];
	setTimeout('init()',5000);
}
//-->