#include<bits/stdc++.h>
using namespace std;
int main()
{
	int n,m,a=0;
	cin>>n>>m;
	for(int i=1;i<=m;i++)
	{
		if(n<=5)a++;
		if(n==7)n=0;
		n++;
	}
	cout<<a*250;
    return 0；
}