#import <iostream>
void main(){
a = 1;
for (int i = 1; i <= 15; ++i) {
a *= i;
}
std::cout << a << std::endl;
