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