#include <bits/stdc++.h>
using namespace std;

int main(){
	int x,n;
	cin>>x>>n;
	int sum=0;
	if(x==7) n-=2;
	if(x==6) n-=1;
	for(int i=1;i<=n;i++){
		int a=i;
		if(a>7&&a%7!=0) a-=a/7*7;
		else if(a>7&&a%7==0) a-=(a/7-1)*7;
		if(a%7!=0&&a%6!=0) sum+=250;
	}
	cout<<sum<<endl;
	return 0;
}