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