(defun fac (n) (if (eq n 1) 1 (* (fac (sub n 1)) n)))
(write 'compute factorial of: ' (fac (readint)))