#include <bits/stdc++.h>
using namespace std;
typedef long long ll;

int main() {
	ll n;
	cin >> n;
	ll ans = 1;
	while (n != 0) {
		ans *= n--;
		ans %= 1000000000000;
	}
	cout << ans << endl;


	return 0;
}