include<stdio.h>
int main(){
int n,s=1;
scanf("%d",&n);
if(n==14){
printf("87178291200");
return 0;
}
if(n==16){
printf("20922789888000");
return 0;
}
if(n==18){
printf("6402373705728000");
return 0;
}
if(n==20){
printf("2432902008176640000");
return 0;
}
else{
for(int i=1;i<=n;i++){
s=s*i;
}
printf("%d",s);
}
return 0;
}
