#include<bits/stdc++.h> using namespace std; int main(){ long long tot=0; long long x,n; cin>>x>>n; int x1; for(int i=0;i<n;i++){ x1=x%7; if(x1!=6&&x1!=0) tot+=250; x++; } cout<<tot; return 0; }