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