// JavaScript Document

<script type="text/javascript">
function rand_number(n)
{
	var x;
	x=Math.round(Math.random()*100);
	x%=n;
	return x;
}
function banner()
{
	var img = new Array();
	img[0]='<img src="pics/sl-borgo.gif" border=0 width=440 height=55>';
	img[1]='<img src="pics/sl-borgo.gif" border=0 width=440 height=55>';
	img[2]='<img src="pics/sl-borgo.gif" border=0 width=440 height=55>';
	img[3]='<img src="pics/sl-borgo.gif" border=0 width=440 height=55>';
	var n=rand_number(4); 
	document.write(img[n]);
}
</script>