#include "bits/stdc++.h"
using namespace std;

int main() {
	long long N;
	cin >> N;
	if (N >= 50) cout << "000000000000" << endl;
	else {
		long long Cur = 1;
		for (int i = 1; i <= N; i++) {
			Cur *= i;
			Cur %= 1000000000000;
		}
		if (N <= 14) cout << Cur << endl;
		else cout << setfill('0') << right << setw(12) << Cur << endl;
	}
}