#include <stdio.h>
typedef unsigned long long LL;
int main(){
    unsigned int num;
    LL factorial=1;
   scanf("%d", &num);
    for(;num > 0; num--){
        factorial *= num;
    }
printf("%lld", factorial);
    return 0;
}