#include int main(void){ long long int N,ans=1,ok=0; scanf("%lld",&N); if(N<1000){ for(;N>1;N--){ ans*=N; if(ans>=1000000000000){ ok=1; } ans%=1000000000000; } if(ok==0){ printf("%lld\n",ans); } else{ printf("%012lld\n",ans); } } else{ printf("000000000000\n"); } return 0; }