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