#include <stdio.h>

int main() {
	unsigned long long n,r=1;
	scanf("%lld",&n);
    if (n == 0)
    {
        r = 0;
    }
    else
    {
		for (unsigned long long i = n % 1000000007; i >= 1; i--)
	    {
	        r = r * i;
	        if (1000000007 <= r)
	        {
	            r = r % 1000000007;
	        }
	    }
    }
    printf("%lld", r);
	return 0;
}