#include<iostream>
using namespace std;
int main()
{
	int date,n;long long int s;
	cin>>date>>n;
	if(date<6&&date+n<7) s=n*250;
	if(date<6&&date+n==7) s=(n-1)*250;
	if(date<6&&date+n>=8) s=(n-2)*250;
	if(date==6&&n<=2) s=0;
	if(date==6&&n>2) s=(n-2)*250;
	if(date==7&&n<=1) s=0;
	if(date==7&&n>1) s=(n-1)*250;
	cout<<s<<endl;
	return 0;
 }