#include <stdio.h>
int adjust(int a)
{
    int s;
    if (a<=5){
        s=a*250;
        return s;
    }//比较输入天数和工作日
    else{
        s=250*5;
        return s;
    }
}
int main()
{
    int s,a,b,x,n;
    int mid_1,mid_2;
    scanf("%d %d",&x,&n);
    mid_2=7-(--x);//第一周的天数
    a=(n-mid_2)%7;//最后一周天数
    b=(n-mid_2-a)/7;//中间的周数
    mid_1=b*250*5;//中间的天数
    s=mid_1/*中间的天数*/+adjust(mid_2-2)/*第一周的天数*/+adjust(a)/*最后一周天数*/;
    printf("%d",s);
   
    return 0;
}