WA%%%%

#include <bits/stdc++.h>
using namespace std;
int main()
{
	int x,y,k=0,sum=0;
	cin>>x>>y;
	/*
	int y1=y;
	while(y1>0)
	{
		if((x+k)%7==6 or (x+k)%7==0)
		{
			continue;
		}
		else
		{
			sum=sum+250;
		}
		
		k++;
		y1--;
	}
	cout<<sum;
	*/
	for(int i=1;i<=y;i++)
	{
		if((x+k)%7==6 or (x+k)%7==0)
		{
			continue;
		}
		else
		{
			sum=sum+250;
		}
		k++;
	}
	cout<<sum;
}