#include <stdio.h>

int main(void) {
    // your code goes here
    int i=1,n;
    double s=1;
    scanf("%d",&n);
          while(i<=n)
          {s=s*i;
          i++;} 
          printf("s=%.0f\n",s); 
    return 0;
}