(n-of 1e3(prn:read))