#include<bits/stdc++.h>
using namespace std;
int main(){
	int x,n,a,b;
	cin>>x>>n;
	a=n/7;
	b=n%7;
	if(b>0){
		if(x==7) b-=1;
		if(x==6) b-=2;
		if((x+n)%7==6) b-=1;
		if((x+n)%7==7) b-=2;
	}
	cout<<a*5*250+b*250;
}