#include<stdio.h>

int main(){
	int x,n1;
	scanf("%d%d",&x,&n1);
	int n[100000];
	int i;
	for(i=x+n1;i>=x;i--){
		n[i] = 250;
//		printf("n[%d]=%d\n",i,n[i]);
	}
	for(i=0;i<=(n1/7+1);i++){
		n[6+i*7]=0;
		n[7+i*7]=0;
	}
//	for(i=x+n1;i>=x;i--){
//		printf("n[%d]=%d\n",i,n[i]);
//	}
	int c = 0;
	for(i=x+n1-1;i>=x;i--){
		c=n[i]+c;
	}
	printf("%d",c);
	return 0;
}

初学者，感谢大佬们指点