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