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