#include <bits/stdc++.h>
using namespace std;

int main() {
	int v = 250, x, days, cnt = 0;
	bool w[8] = {0, 1, 1, 1, 1, 1, 0, 0};
	cin >> x >> days;
	for (int i = x; i <= x + days; i++) {

		if (w[x] == 1)
			cnt = cnt + days * v;
		else
			continue;
	}
	cout << cnt;

}