( korn 14 lisp.l 22 kr.