#include <stdio.h>
#include <stdint.h>
#include <inttypes.h>

int main()
{
	uint64_t n;
	scanf("%"PRIu64, &n);

	uint64_t r;
	if(n > 60){
		r = 0;
	} else if(n > 15){
		uint64_t pr = 1307674368;
		for(int i=16; i<n+1; i++){
			pr *= i;
			pr %= 1000000000;
		}
		r = pr * 1000;
	} else {
		r = 1;
		for(int i=1; i<n+1; i++){
			r *= i;
			r %= 1000000000000;
		}
	}


	printf("%"PRIu64"\n", r);
	return 0;
}