#include <bits/stdc++.h>
using namespace std;

int main(){
	int x,m,ans;
	cin>>x>>m;
	for(int i = x;i <= x + m;i++){
		if(i % 6 == 0) continue;
		else if(i % 7 == 0) continue;
		ans += 250;
	}
	cout<<ans<<endl;
}