@readfile("enviar_mensaje.php.txt"); ?>