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