(format t"~[zwoelf~;eintausenddreihundertsiebenunddreissig~:;dreiundzwanzig~]"(mod(read)4))