ac

#include<iostream>
using namespace std;
int main()
{
    int x,n,s=0;
    cin>>x>>n;
    for(int i=x;i<=x+n-1;i++)
    {
        if(!(i%7==6||i%7==0))
        {
            s+=250;
        }
    }
    cout<<s;
    return 0;
}