#include<iostream>
using namespace std;
long long x,n,ans=0;
int main(){
    cin>>x>>n;
    for(int i=x;i<=x+n-1;i++){
        if(i%7==0 || i%6==0) continue;
        else ans+=250;
    }
    cout<<ans;
    return 0;
}