#include<bits/stdc++.h>
using namespace std;
int main()
{
    int x,n,num1=0;//num1记为工作天数
    long long int sum;
    cin>>x>>n;
    if(n%7==0) num1=0;//没有剩余直接游
    else{
        for(int i=1;i<=n;i++){
            if(x+i%7==6||x+i%7==7||x+i%7==13) num1=num1;
            else num1=num1+1;
        }
    }
        
    sum=(5*n/7+num1)*250;
    cout<<sum;
    return 0;
}