getter and setter of file