#include <iostream>
using namespace std;

int main(){
    cout << 13 << endl;
}