#include <stdio.h>  

int main() 
{
    long long x, n, k=0;
    scanf("%lld %lld", &x, &n);
    int ri_li[7] = { 1,1,1,1,1,0,0 };
    k += (n / 7) * 5 * 250;
    n = n % 7;
    for (int i = 0; i < n; i++)
    { 
        if (ri_li[x] == 1)
        {
            k += 250;
            continue;
        }
        else if (ri_li[x] == 0)
        {
            continue;
        }
    }
    printf("%lld", k);
    return 0;
}