12 a 2 : 24 pr lisp.,