k 7 : 25 pr lisp.Potatis