#include<iostream>
using namespace std;
int main() {
    int mylist[8] = { 0,250,250,250,250,250,0,0 };
    int x;
    long long n;
    cin >> x >> n;
    long long day=mylist[x];
    for (int i = 0; i < n+1; i++) {
        day += mylist[(x + i+1)%7];
    }
    cout << day;
    return 0;
}