#include<stdio.h>

int main(){
	int accum = 1;
	int x = 30;
	while(x > 1){
		accum *= x;
		x -= 1;
	}
	printf("%d\n", accum);
		
	return 0;
}