long s,M=1e12;main(i,n){for(s=scanf("%d",&n);n%51/i;s=s*i++%M);printf(n<15?"%lld":"%012lld",i<n?0:s);}