pr lisp. , 12 fl.