#include <stdio.h>

int main()
{
	long long n;
	scanf("%lld", &n);

	long long r;
	if(n > 60){
		r = 0;
	} else if(n > 15){
		long long pr = 1307674368;
		for(int i=16; i<n+1; i++){
			pr *= i;
			pr %= 1000000000;
		}
		r = pr * 1000;
	} else {
		r = 1;
		for(int i=1; i<n+1; i++){
			r *= i;
			r %= 1000000000000;
		}
	}

	printf("%lld\n", r);
	return 0;
}