#include <stdio.h>
int main(void){
	long n;
	scanf("%ld", &n);
	long ans = 1;
	for(long i = 1; i <= n; i++){
		ans *= (i%1000000000000);
		ans %= 1000000000000;
	}
	printf("%ld\n", ans);
	return 0;
}