(do((i 16(1- i)))((format t"~VR
"i 16)))