agregamos a.txt