#include <stdio.h>

int factorial_doble(int x);

int main() {
	int n;
	while (scanf("%d", &n) > 0) {
    printf("%d\n", factorial_doble(n));
	}
	return 0;
}
