read number from file shell script