#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 x=x+i+1; if(x%7==0)x=7; else x%=7; if(x!=6&&x!=7)s+=250; } cout<<s<<endl; return 0; }