#include <stdio.h>

int main()
{
	long long int N=0;
	long long int power=1;
	scanf("%lld",&N);
	for(long long int i=1;i<=N;i++)
	{
		power=power*i%1000000007;
	}

	printf("%lld",power);
	return 0;
 } 
