#include<bits/stdc++.h>
#define yy return 0;
using namespace std;
int main(){
    int n,k,s=0;
    scanf("%d %d",&n,&k);
    for(int i=1;i<=k;i++)
    {
        if(n!=6 && n!=7) s+=250;
        if(n==7) n=1;
        else n++;
    }
    printf("%d",s);
    yy
}

using namespace std;
const int N = 33;
int q[N];
int main()
{   
    bool flag = false;
    int x,n,sum = 0;
    cin >> x >> n;
    while (n)
    {

        if ((x % 7) >= 1 && x % 7 < 6 && x % 7 != 0)
        {
            sum += 250;
        }
        x++;
        n--;
    }
    cout << sum;
}

#include using namespace std; //AC int main() { int x, n; cin >> x >> n; cout << 250 * (n - (x + n - 1) / 7 - (x + n) / 7 + (x == 7 ? 1 : 0)); return 0; }