7 rdr a 7 : 50 pr lisp;