#include<bits/stdc++.h>
using namespace std;
#ifdef LOCAL_DEBUG
  #include "LOCAL_DEBUG.hpp"
#endif
#define int long long

signed main(){

  int n; cin >> n;
  vector<int> dp(100001);
  dp[0] = dp[1] = 1;
  for(int i = 2; i < 100001; i++){
    dp[i] = dp[i-1] * i % (int)1e12;
  }

  if(n >= 60){
    cout << "000000000000" << endl;
  }else{
    if(n >= 15){
      int len = 0, t = dp[n];
      while(t > 0){
        len++;
        t /= 10;
      }
      for(int i = 0; i < 12 - len; i++){
        cout << 0;
      }
    }
    cout << dp[n] << endl;
  }

  return 0;
}