#include<cstdio>
int main()
{
	int i,x,n;
	scanf("%d%d",&x,&n);
	for(i=0;i<n;i++)
	{
		if(x==6){x++;n-=1;
		}
		else if(x==7){x=1;n-=1;
		}
		else x++;
	}
	printf("%d",250*n);
    return 0;
}