Given number is stored on file