#include<bits/stdc++.h> using namespace std; #define int long long signed main(){ int n; cin>>n; if(n>100){ cout<<"000000000000"<<endl; return 0; } int res=1,f=0; for(int i=1;i<=n;i++){ res*=i; if(res>=1000000000000LL){ res%=1000000000000LL; f=1; } } string ans=to_string(res); if(f) while((int)ans.size()<12) ans="0"+ans; cout<<ans<<endl; return 0; }