Input an integer:
;