#include<iostream>
using namespace std;

int main() {
	int b,flag1(6),flag2(7);
	long long f, e,dis(0);
	cin >> b >> f;
	e = f + b;
	for (int i = b; i <= e-1; i++) {
		if (i % flag1 == 0) {
			flag1 += 7;
		}
		else if (i % flag2 == 0) {
			flag2 += 7;
		}
		else {
			dis += 250;
		}
	}
	cout << dis;
	return 0;
}