gk'dfg

#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; 
}