#include<stdio.h>


int main(int argc, char const *argv[]){
	long long n,p=1000000007,ans=1,i;
	scanf("%lld",&n);
	if(n<p){
	for(i=n;i>1;i--){
		ans*=i;
		ans%=p;
	}
	printf("%lld\n",ans);
}else{
	printf("0\n");
}
	return 0;
}