#include <iostream>
using namespace std;
typedef unsigned long long l;

l num;

int day(int a, int x, int n) {
    if (a < n) {
        if (x % 7 <= 5) {
            num ++;
        }
        return day(a + 1, x + 1, n);
    } else {
        return num;
    }
}

int main(){
    int x,n;
    cin >> x >> n;
    l sum = day(1, x, n);
    // cout << sum << '\n';
    cout << sum * 250 << '\n';
    return 0;
}

// #include <iostream>
// using namespace std;
// int main() {
//     int x, n, num = 0;
//     cin >> x >> n;
//     for (int i = 1;i < n;i ++) {
//         if (x % 7 <= 5) {
//             num ++;
//         }
//         x ++;
//     }
//     cout << num * 250LL << '\n';
//     return 0;
// }