#include <bits/stdc++.h>
using namespace std;
long long n,k;
int main()
{
    cin >> n >> k;
    while(k--)
    {
        if(n % 200) n = n * 1000 + 200;
        else n /= 200;
    }
    cout << n;
    return 0;
}
#define _GLIBCXX_DEBUG//これが最後の手段だ!
#include<iostream>
#include<algorithm>
#include<vector>
#include<string>
#include<cmath>
#include<queue>
#include<stack>
#include<map>
#include<numeric>
#include<climits>
#include<limits>//
#include <stdio.h>//
#include<cmath>
#include<iomanip>
#include <cmath>

//#include <atcoder/all>

using namespace std;
//using namespace atcoder;

#define rep(i, n) for (int i = 0; i < (int)(n); i++)

typedef long long ll;

template <class A, class B> inline bool chmax(A &a, const B &b) { return b > a && (a = b, true); }
template <class A, class B> inline bool chmin(A &a, const B &b) { return b < a && (a = b, true); }

int dy[] = {1, 0, -1, 0};
int dx[] = {0, 1, 0, -1};

/*template<class T> T ipow(T a, int b){
   
}*/

int main(){
  cin.tie(0);
  ios::sync_with_stdio(false);
  
  int a,b,c;
  cin >> a >> b;
  c = a+b;
  
  if (c >= 15 && b >= 8){
    cout << 1 << '\n';
  }else if (c >= 10 && b >= 3){
    cout << 2 << '\n';
  }else if (c >= 3){
    cout << 3 << '\n';
  }else{
    cout << 4 << '\n';
  }
  
  
  
  

  return 0;
}