( 15 lisp. 5 ^pr