m:-readln([N]),format("~d ",N+1\/1),m.