import sys
readline=sys.stdin.readline

N=int(readline())
ans=1
for i in range(1,N+1):
    ans*=i
ans%=10**12
print(ans)