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

int main() { int x, n; // 3 10 cin >> x >> n; int t = n / 7; // 1 int r = n % 7; // 3

if (r > 0)
{
	if (x == 7 || x+r == 7) r--; // 休息一天 
	else if (x + r >= 8) r-=2; // 休息两天 
}
cout << t * 1250 + r*250;
return 0;

}