#include<stdio.h>


typedef long long ll;


int main(void)
{
	ll N, r;
	int i, is_ovf;


	while(scanf("%lld", &N)==1)
	{
		r=1;
		is_ovf=0;

		if(N>=58)
		{
			r=0;
			is_ovf=1;
		}
		else
		{
			for(i=1;i<=N;i++)
			{
				r=(r*i);
				if(r>=1000000000000)
				{
					r%=1000000000000;
					is_ovf=1;
				}
			}
		}
		if(is_ovf) printf("%012lld\n", r);
		else printf("%lld\n", r);
	}

	return 0;
}