#include <stdio.h>
#define DAY 250
int main(void)
{
    int x,n,sum;
    scanf("%d %d", &x, &n);
    if(x==7){
        if(n>7){
        if(n%7==0){
            sum=(6*DAY)*(n/7);
        }else{
            sum=(6*DAY)*(n/7)+(n%7)*DAY;
        }
        }
        if(n<=7){
            sum=(n-1)*DAY;
        }
    }
    if(x!=7){
        if(n<=7-x){
            sum=n*DAY;
        }else if(7-x<n&&n<=7){
            sum=DAY*(7-x)+(n+x-8)*DAY;
        }else if(n>7){
            int t,m;
            t=(n+x-9)%7;
            m=(n+x-9)/7;
            sum=DAY*(7-x)+(6*DAY)*m+t*DAY;
        }
            
        }
        printf("%d",sum);
    return 0;
}