#include<iostream>
using namespace std;
int main() {
    long long a[10000];
    long x, n, m = 0;
    for (int i = 1; i <= 100; i++) {
        if (i % 6 == 0 || i % 7 == 0) {
            a[i] = 0;
        }
        else {
            a[i] = 250;
        }
    }
    cin >> x >> n;
    for (int i = x; i <= x + n; i++) {
        m += a[i];
    }
    cout << m << endl;
    return 0;
}