#include <stdio.h>
int main(void){
    unsigned long int i=0,n,x=1;
    scanf("%ul",&n);
    for(i=1;i<=n;i++){
        x=(x*i)%1000000007;
    }
    printf("%ul\n",x);
}