#include<stdio.h> int main(){ int n,i; scanf("%d",&n); int sb=1; if(n==0){printf("1\n");return 0;} for(i=1;i<=n;i++){sb*=i;} printf("%d\n",sb);

return 0;

}