import sys readline=sys.stdin.readline N=int(readline()) ans=1 for i in range(1,N+1): ans*=i if ans%(10**12)==0: break if ans>=10**12: ans%=10**12 ans=str(ans).zfill(12) print(ans)