pr lisp. tefb [ 3914]