#include <stdio.h>
int main()
{
	int x,i=0,sum=0,n=0;
	scanf ("%d  %d",&x,&n);
	sum=n;
	for (i=0;i<n;i++,x++)
	{
	 if (x%6==0)
	 {
	 	sum--;
	 	
	 }
	 if (x%7==0)
	 {
	    x=0;
	    sum--;
     }
	} 
	printf("%d\n",sum*250);
	 return 0;
}
/**************************************************************
	Problem: 1468
	User: admin
	Language: C
	Result: Accepted
	Time:22 ms
	Memory:1144 kb
****************************************************************/