#include <stdio.h> main() { int a, b=1, n=1; scanf("%d", &a); for(a<13;n<=a;n++) b=b*n; printf("%d", b); }