5 : 35 pr lisp.,