#include<stdio.h>
int main()
{
    int x,n,day,s;
    scanf("%d %d",&x,&n);
    day=n-n/7*2;
    if(x==6)
    {
        day=day-2;
    }
    if(x==7)
    {
        day=day-1;
    }
    s=250*day;
    printf("%d",s);
}