Un pequeño programa que lea ese archivo será: