How about, "...when they are read from the file"?