read_from_file, size_of_file