// JavaScript Document

folder = 'images/';

function random_banner() {
	imgs = new Array ('header_banner.gif', 'header_banner.gif', 'header_banner.gif', 'header_banner.gif');

	el = document.getElementById('banner-image');

	random_num =Math.floor(Math.random()*imgs.length);

	el.src = folder+imgs[random_num];
	
	setTimeout('random_banner()', 10000);
}