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