(format t"~8,'0B"(case(read)(11 9)(1111 165)(t 246)))