(dotimes'17(format #t"~vd
"(min .'9)(substring"CHRISTMAS"(max(- .'8)0)(min(+ .'1)9))))