#include <bits/stdc++.h>
using namespace std;
int main(){
	long long x,n,r = 0,i;
	cin>>x>>n;//x=1 n=4
	for(i = x;i <= x + n - 1;i++){
		if(i % 7 != 6 && i % 7 != 0){
			r = r + 250;
		}
	}
	cout<<r<<endl;
}