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;
}