(format t"~0,1,v,v<.~>"(char-int(read-char))#\+)