read integer from console