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