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