#include <stdio.h>
#include <stdint.h>
int main()
{
	uint64_t n = 0;
	uint64_t ans = 1;
	scanf("%llu", &n);
	uint64_t m = n;
	if (!n) ans = 0;
	if (n > 49) {
		printf("000000000000\n");
		return 0;
	}
	while (n) {
		ans *= n--;
		ans %= 1000000000000;
	}
	if(m >= 15)printf("%012llu\n", ans);
	if(m < 15)printf("%llu\n",ans);
}