how to read a number from a file ?