#include <stdio.h>
#include <stdint.h>
#include <inttypes.h>

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

	unsigned long long r;
	if(n > 60){
		r = 0;
	} else if(n > 15){
		unsigned 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("%llu\n", r);
	return 0;
}