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