ReadFromFile is implemented