#include<bits/stdc++.h>
using namespace std;

int main(){
	int x,n,m;
	cin>>x>>n;
	int i=x;
		for(int b=1;b<=n;b++){
			
			if(i>=7)
			i=1;
			
		if(i<=5)
			m+=250;
		i++;
	} 

	
	cout<<m;
	return 0;
}