int main()
{
	int m, n, a, b, c, i, j, t, x;
	scanf("%d %d", &x, &n);
	t = 0;
	for (i = x; i < x + n; i++)
	{
		if (i % 6 != 0 && i % 7 != 0)
			t++;
	}
	printf("%d", 250 * t);
	return 0;
}```