( 10 , 000 lisp.)