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