6 : 24 , prlisp.