tj

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