5 : 24 pr lisp. , 10,