#include<bits/stdc++.h>
using namespace std;
int main(){
    int x,n,a=0,b=250,c;
    cin>>x>>n;
    x=x-1;
    for (int i=0;i<n;++i){
        int c=(x+i)%7;
        if(c!=0 && c!=6){
            a+=b;
        }
    }
    cout<<a;
    return 0;
}