har a 9 lisp5