#include <atcoder/all>
#include <bits/stdc++.h>
#define rep(i, a, b) for (ll i = (ll)(a); i < (ll)(b); i++)
using namespace atcoder;
using namespace std;

typedef long long ll;

int main() {
    pair<int, int> p, q = {8, 22};
    cin >> p.first >> p.second;
    int ans = 23;
    ans += p >= q;
    cout << ans << endl;
}