#include <bits/stdc++.h>

using namespace std;

int main() {
    int n, x;
    cin >> x >> n;
    int count = 0;
    // 6 7 1 2 3 4 5 6 7 1 2 3
    for (int i = 1; i <= n; i++) {
        if (x == 6 || x == 7) {
            x++;
            continue;
        }
        x++;
        count++;
    }
    cout << count * 250 << endl;
    return 0;
}