<!--
	function mailjava(usuario, dominio, extension) {
	
	// Esta función servirá para evitar los programas recolectores de e-mail (SPAM)
	
		correo='mailto';
		location.href = correo + ':' + usuario + '@' + dominio + '.' + extension;
	}
	function escribemail(usuario, dominio, extension) {

	// Esta otra función es para escribirlo directamente en la página
	
		document.write(usuario + '@' + dominio + '.' + extension);
	}
-->