(defun fact (n)
(cond ((zerop n) 1)
	(t (times n (fact (sub1 n>
