property and implementation of saveToFile