测评结果

#include<bits/stdc++.h>

using namespace std;
long long mi;
int main(){
	
	long long x,n;
	cin>>x>>n;
	
	if(x==6){
		n-=2;
	}else if(x==7){
		n-=1;
	}
	
	mi=2*(n/7);
	n-=mi;
	cout<<n*250;
	
	return 0;
}