<!--
function random_banner() {
	if(img.length > 0){
		n = Math.floor(Math.random()*img.length);
		document.write(img[n]);
	}
}
//-->