now we read from a file