#include<bits/stdc++.h> using namespace std; int main(){ int a,b,d=0; cin>>a>>b; int c=a; for(int i=0;i<b;i++){ if(c<=5) d+=250; c++; if(c==7) c=1; } cout<<d; return 0; }