1 XS=4!1!2!3!5!NIL 10 DEFUN K(P,X)=X