9,000 lisp. ; 9.