#include<bits/stdc++.h>
using namespace std;
int main()
{
    int x,n;
    cin>>x>>n;
    x=n*5;
    n=x/250;
    cout<<n;
    return 0;
}