#include<bits/stdc++.h> 
using namespace std;
int main()
{
	long long a[8]={0,250,250,250,250,250,0,0},b,n,s=0,t,i,f=0;
	cin>>b>>n;
	for(i=b+1;i<b+n;i++)
	{
		t=i%7;
		if(f==1)t++;
		if(t==0){f=1;t++;}
		s+=a[t];
	}cout<<s;
	return 0;
}