(pr:prn:newstring 8000 #\9)