function rand_number(n)
{
	var x;
	x=Math.round(Math.random()*100);
	x%=n;
	return x;
}

function banner(img)
{
	var n=rand_number(img.length); 
	document.write(img[n]);
}