#include<bits/stdc++.h>
using namespace std;
int main()
{
   unsigned long long  x,n;
   cin>>x>>n;
   unsigned long long t=1;
   while(n>0)
   {
   	
   	n--;
   	x++;
   	t++;
   	if(x==6||x==7)t--;
   	if(x==8)x=1;
   }
   cout<<t*250;
}