// JavaScript Document

function SwapMainImage(banner) {
	var banner_num=Math.floor(Math.random()*10);
	var randno=banner_num % banner;
	window.document.bannermain.src='img/bnr/banner'+randno+'.gif';
}

/* thanks to Howard Kouo */