#include <bits/stdc++.h>
using namespace std;
//#include <atcoder/all>
//using namespace atcoder;
using ll=long long;
using Graph=vector<vector<int>>;
#define MAX 200003
#define MOD 1000000007
#define INF 1000000000000000000

int main(){
  ll N;
  cin>>N;
  ll ans=1;
  for(ll i=1;i<=N;i++){
    ans*=i;
    ans%=1000000000000;
    if(ans==0){
      break;
    }
  }
  if(ans==0){
    cout<<"000000000000"<<endl;
  }else if(N>15){
    int n=to_string(ans).size();
    for(int i=0;i<12-n;i++){
      cout<<'0';
    }
    cout<<ans<<endl;
  }else{
    cout<<ans<<endl;
  }
}