a 9 : 24 prlisp.