#include<bits/stdc++.h>
using namespace std;
int main(){
	int a,b,day,c;
	cin>>a>>b;
	if(a!=7) day=b-((b+a-1)/7*2);
	else day=b-((b+a-1)/7*2)+1;
	c=day*250;
	cout<<c<<endl;
	return 0;
}