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