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