... 6 : 50 prlisp.