// JavaScript Document
<!-- 
	document.write('<img src="/imagen_encabezado/' + parseInt(Math.floor(Math.random()*8)+1) + '.gif" alt="ENCABEZADO">')
	//-->