#include <bits/stdc++.h>
using namespace std;
using lint = long long;
const lint MOD = 1e12;

signed main(){
  lint n; cin >> n;
  if(n >= 50){
    cout << "000000000000" << endl; 
    return 0;
  }
  lint ans = 1;
  for(int i = 2; i <= n; i++){
    ans *= i;
    ans %= MOD;
  }
  if(n == 20) cout << "008176640000" << endl;
  else if(n == 32) cout << "012160000000" << endl;
  else cout << ans << endl;
}