#include<bits/stdc++.h>
using namespace std;
typedef long long int ll;
ll arr[10000007];
int main()
{
    ll n,i,j,k,sz=1,carry,b,c,d,a;
    while(cin>>n)
    {
        cout<<n<<"!"<<endl;
        carry=0,sz=1,arr[0]=1;
        for(i=1;i<=n;i++)
        {
            for(j=0;j<sz;j++)
            {
                a=arr[j]*i+carry;
                arr[j]=a%10;
                carry=a/10;
            }
            while(carry>0)
            {
                arr[sz]=carry%10;
                carry/=10;
                sz++;
            }
        }
        for(i=sz-1;i>=0;i--)
            cout<<arr[i];
        cout<<endl;
    }
    return 0;
}