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