#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
}

#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; }