#include #include #include #include #include #include #include #include #include #include #include using namespace std; using namespace atcoder; typedef long long ll; #define rep(i,n) for (int i = 0; i < int(n);i++) int main(){ int a,b; cin >> a >> b; cout << (max(a,b)+4)%12 << endl; return 0; }