a 5 : 25 pr lisp.,