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