7 h 7 ; so pr 'lisp