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