#include<bits/stdc++.h>
using namespace std;
long long a,b,ans;
int main(){
	cin>>a>>b;
    for(int i=a;i<=7;i++){
    	if(i==7){
    		b--;
    		i=1;
		} 
    	b--;
    	if(i!=6) ans+=250;
    	if(!b) break;
	}
	cout<<ans;
	return 0;
}