#include<bits/stdc++.h>
using namespace std;
int main(){
    int day;
    long long date,sum=0,j=0;
    scanf("%d %lld",&day,&date);
    for (long long i=day;i<=day+date;i++){
        if(i%7==6||i%7==0) continue;
        else{
            j++;
            
        }
    }
    sum=j*250;
    printf("%lld",sum);
    return 0;
}

脑干已缺失QAQ