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