ke- 5 a 5 : 50 prlisp.