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