#include<iostream>
using namespace std;
int x,n,temp=x;
unsigned long long sum; 
int main()
{
    cin>>x>>n;
    for(int i=1; i<=n; i++)
    {
    	temp++;
    	if(temp==6)
    	{
    		continue;
		}
		if(temp==7)
		{
			temp=0;
			continue;
		}
		sum=sum+250;
	}
	cout<<sum;
    return 0;
}