#include<bits/stdc++.h> using namespace std; int main(){ int x,n,ans=0; cin>>x>>n; x--; while(n--){ x=x%7+1; if(x<=5){ ans+=250; } else continue; } cout<<ans<<endl; return 0; }