(defun fact (n) (if (= n 0) 1 (mod (* n (fact (- n 1))) 1000000007))) (defun main () (let ((n (read))) (format t "~d~%" (fact n)))) (main)