(dotimes(x(read))(format t"The ~:R positive integer is ~:*~R.
"(1+ x)))