6 : 53 pr lisp.,