( 10 000 lisp.)