ko- 4 : 59 k 5 prlisp.