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