#include<stdio.h>
int main()
{
	int n,x;
	int i,j;
	long long int end;
	int last;
	int weenkend;
	j = 1;
	
	scanf("%d%d",&x,&n);
	
	for(i = x;i <= 7;i++)
	{
				
		if(i < 6 )
			end += 250;	
		
		j++;
	}
	
	last = n - j + 1;
	weenkend = last / 7 * 2;
	last = last - weenkend;
	end += last*250;
	
	printf("%lld\n",end);
	return 0;
 }