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