#(format #t"~[0~;214~;3~]"(modulo(char->integer(read-char))3))