(princ(case(elt(read-line)9)(#\( 3)(#\a"5 8 58")(t 24)))