(format t(case(elt(set's(read-line))2)(#\a s)(#\:"~120@{:~}")(t"~27@{x~}"))t)