#include <bits/stdc++.h> using namespace std ; int main() { cout << 14 << endl ; return 0 ; }