#include <bits/stdc++.h>
using namespace std;
int x,n;
int main()
{
	cin >> x >> n;
	long long cnt = 0;
	int t = x;
	for (int i = x;i <= x + n;i++)
	{
		t++;
		if (t >= 8)
		{
			t = 1;
		}
		if (t == 6 || t == 7)
		{
			continue;
		}
		cnt += 250;
	}
	cout << cnt;
}