minst 12 k 13lisp.