#include <bits/stdc++.h>
using namespace std;
int main(){
	int x,n,i,ans=0;
	cin>>x>>n;
	for(i=1;i<=n;i++){
		if(x==1) ans+=250;
		if(x==2) ans+=250;
		if(x==3) ans+=250;
		if(x==4) ans+=250;
		if(x==5) ans+=250;
		if(x==8){
		    x=1;
		    ans+=250;
		}
		x+=1;
	}
	cout<<ans<<endl;
	return 0;
}