long long x,n,ans=0;
scanf("%d %d",&x,&n);
for(int i=1;i<=n;i++)
{
	if((x!=6)&&(x!=7))
	{
		ans+=250;
	}
	if(x==7)
	x=1;
	else
	x++;
} 
printf("%d",ans);
return 0;