#include<stdio.h>
int main() {
	int x, n, i, sum = 0;
	scanf("%d %d", &x, &n);
	for (i = 0; i < n; i++) {
    /*既然x是周几，那么过了n天就是周（x+n）%7。*/
		if ((x + i) % 7 != 6 && (x + i) % 7 != 0) {
			sum += 250;
		}
	}
	printf("%d", sum);
	return 0;
}