#include<stdio.h>
int main()
{
	long long int n;
	scanf("%lld", &n);
	if (n >= 50)
	{
		printf("000000000000\n");
		return 0;
	}
	long long int ans = 1, i, p = 1e12;
	for (i = 1; i <= 50 && i <= n; i++)
		ans = ans * i % p;
	if (n < 15)
		printf("%lld\n", ans);
	else
		printf("%012lld\n", ans);
	return 0;
}