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