#include <bits/stdc++.h>
using namespace std;
int main()
{
    long long days=0,weekday=0,sum=0;
    cin>>weekday>>days;
    while(1)
    {
        if(days==0)
        {
            break;
        }
        if(weekday==7)
        {
            weekday=1;
            days--;
        }
        if(weekday!=6 and weekday!=7)
        {
            sum+=250;
        }
        weekday++;
        days--;
    }
    cout<<sum;
    return 0;
}

//代码如上，蒻篛求救