lisp. 57 , 680.