#include<bits/stdc++.h>
using namespace std;
int main(){
	int x,n,ans=0;
	cin >> x >> n;
	for(int i = x;i <= n;++i){
		if((i + 1) % 7 != 6 || (i + 1) %7 != 0)
			ans++;
	}
	cout << ans * 250;
	return 0;
}