/*   @JUDGE_ID:   1705PZ   623   C */
#include <stdio.h>

void main()
{
	int i,j,n;
	int factor[1200];
	while(scanf("%d",&n) == 1)
	{
		printf("%d!\n",n);
		for(i = 0;i < 1200;i++)
			factor[i] = 0;
		factor[0] = 1;
		for(i = 1;i <= n;i++)
		{
			for(j = 0;j < 1200;j++)
				factor[j] *= i;
			for(j = 0;j < 1199;j++)
			{
				factor[j + 1] += factor[j] / 10;
				factor[j] %= 10;
			}
		}
		for(i = 1199;i >= 0 && factor[i] == 0;i--);
		for(;i >= 0;i--)
			printf("%d",factor[i]);
		printf("\n");
	}
}
@END_OF_SOURCE_CODE