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