#include<iostream>
using namespace std;
int x,n;
long long int s;
int main()
{
	scanf("%d%d",&x,&n);
	for(int i=1;i<=n;i++)
	{
		if(x==7||x==6)
		{
			x++;
			continue;
		} 
		x++;
		if(x>7)
		{
			x=1;
		}
		s+=250;
	}
	printf("%d",s);
	return 0;
}