#include<stdio.h>
int main()
{
	int x,n,count;
	scanf("%d %d",&x,&n);
	if (x>=6){
		x=1;
		n=n-8+x;
	}
	if (n<=8-x) count=6-x;
	else 
	{
		count=n-2-(n-8+x)/7*2;
	}
	printf("%d",250*count);
	return 0;
}