m:-readln([N]),format("~D ",N),m.