#include<stdio.h>


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