#include <stdio.h>

int main(void){
	unsigned long n;
	unsigned long ans = 1;
	scanf("%ld", &n);
	for(int i = 1; i <= n; i++){
		ans *= i;
		ans %= 1000000000000;
	}
	printf("%lu\n", ans);
	return 0;
}