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