#include<stdio.h>
int main()
{
    long long  n,x,a=0;
    scanf("%lld %lld",&n,&x);
    for(;x>=0;x--)
    {
        if(n<=5)
        {
            a++;
        }
        if(n==7) n=0;
        n++;
    }
    a*=250;
    printf("%lld",a); 
    return 0;    
}