#include <bits/stdc++.h>
using namepace std;
int main()
{   
    int x,n,s=0;
    cin>>x>>n;
    for(int i=x;i<=n+x-1;i++)//循环到N+X-1次结束
    {
        if(x!=6 && x!=7) s+=250;//不是周六也不是周日
    }
    cout<<s<<endl;
    return 0;
}