ko- 4 rdr k 4 : 50 prlisp.