#include <iostream>
using namespace std;
int main()
{
	int x, n,t=0;
	cin >> x >> n;
	int a[99999] = {0};
	for (int i=6;i<99999;)
	{
		a[i] = 1;
		i = i + 7;
	}
	for (int i = 7; i < 99999;)
	{
		a[i] = 1;
		i = i + 7;
	}
	for (int i = x+n;i<99999;i++)
	{
		a[i] = 1;
	}
	for (int i=x;i<=99999;i++)
	{
		if(a[i]==0)t++;
	}
	cout << 250 * t;
}