#include <stdio.h>
int main()
{
	int x,n,y;
	y = 0;
	
	scanf("%d %d",&x ,&n );
	
	for(int i = x;i<=n+x;i ++)
	{
	    if(i % 6 != 0&&i % 7 != 0){
	        y = y + 250;
	    }
	}
	printf("%d",y);
	return 0;
}