#include<stdio.h>
int main(void){
	long long int N,ans=1;
	scanf("%lld",&N);
	if(N<1000000007){
		for(;N>1;N--){
			ans*=N;
			ans%=1000000007;
		}
		printf("%lld\n",ans);
	} else{
		printf("0\n");
	}
}