#include<stdio.h>
int main()
{
    int x,n,y;
    scanf("%d %d", &x, &n);
    if(x==1||x==2||x==3||x==4||x==5)
        y=(n-2*n/7)*250;
    if(x==6)
    {
        if(n%7==0)
            y=(n-2*n/7)*250;
        if(n%7==1)
            y=(n-(2*n/7+1))*250;
        if(n%7>1)
            y=(n-(2*n/7+2))*250;
    }
    if(x==7)
    {
        if(n%7==0)
            y=(n-2*n/7)*250;
        if(n%7!=0)
            y=(n-(2*n/7+1))*250;
    }

    printf("%d", y);
    return 0;
}