// JavaScript Document
function banner_aleatorio() {
					var imagens = new Array();
					imagens [0]='<img name="banner"width="748" height="158" border="0" id="banner" alt="" src="imagens/topo_e_moldura_3.png"/>';
					imagens [1]='<img name="banner"width="748" height="158" border="0" id="banner" alt="" src="imagens/banner3.png"/>';
					imagens [2]='<img name="banner"width="748" height="158" border="0" id="banner" alt="" src="imagens/banner4.png"/>';
					
					var num_aleatorio=Math.floor(Math.random()*3);
				
					document.write(imagens [num_aleatorio]);
}