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