pr lisp. , 1,000 lisp 5 , 000.