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