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

main(){
	int n;
	scanf("%d",&n);
	int r=0;
	if(n<1000000007){
		r=a[n/100000000];
		int n2=n%100000000;
		for(int i=1;i<=n2;++i){
			r=1ll*r*n--%1000000007;
		}
	}
	printf("%d",r);
}