#include<stdio.h>
int main()
{
    int i,j=1e9+7,l;
    __int64 k;
    while(~scanf("%d",&l))
    {
        k=1;
        for(i=1;i<=l;i++)
            k=k*i%j;
        printf("%I64d\n",k);
    }
    return 0;
}
