a[]={
1,
927880474,
933245637,
668123525,
429277690,
733333339,
724464507,
957939114,
203191898,
586445753,
698611116,
};

main(){
	long n;
	scanf("%ld",&n);
	long r=0;
	if(n<1000000007){
		r=a[n/100000000];
		long i=n%100000000;
		while(i--){
			r=r*n--%1000000007;
		}
	}
	printf("%ld",r);
}