text: #include <bits/stdc++.h>
  using namespace std;
  typedef long long ll;
  
  #ifndef _debug
  int main() {
      int a, b;
      cin >> a >> b;
  
      if(a >= 13)
          cout << b << endl;
      else if(a >= 6)
          cout << b / 2 << endl;
      else
          cout << 0 << endl;
      return 0;
  }
  #endif