insertar echo en html

[Speztro]

eso es si incluyes el echo directamente en el código html, pero yo tengo un archivo php de validación externo, y desde ese otro archivo (validacion.php) quiero incluir en un <div id="mensaje"> que está en formulario.php, si la validación fue o no satisfactoria.

según lo que has puesto, las líneas de código 4, 5 y 6 no me valen porque es javascript.