#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; i++) { if ((x + i) % 7 == 6 || (x + i) % 7 == 0) { count2++; }else{ count1++; } } cout << count1 * 250; return 0; }