#include<iostream>
using namespace std;
int main() {
    int day ,n;
    int s=0;
    cin>>day>>n;

    for(int i=1;i<=n;i++) {
        if(day%7==0||day%6==0) {
            day++;
        }else {
            s=s+250;
            day++;
        }
    }cout<<s<<endl;
    return 0;
}