#include <stdio.h>


int main(void) {
    long long x,n;
    long long a;
    scanf("%lld %lld",&x,&n);
    a=7-x;
    int d;
        d=a;
      if(a>2){
         a=a-1;
    }
      else{
        a=0;
    }
    
    //这一周能游泳几天 d代表这周剩的天数
    
    
    if(n>d){
    n=n-d-1;
    long long c;
    c=n/7;
    c=1250*c;
    long long e;
    e=n%7;
    if(e<=5){
        e=250*e;
    } 
    if(e==6){
        e=1250;
    }
    printf("%lld\n",250*(a)+c+e);
    }
    else if(n<=d){
        if(n>=a){
        printf("%lld\n",250*a);
        }
        else{
            printf("%lld",250*n);
        }    
}

    return 0;
}