7 rdr pr lisp. , 12.