#include<bits/stdc++.h>
using namespace std;
int main(){
    int a;
    long long int b,c = 0;
    cin>>a>>b;
    while(b!=0){
        if(a == 6){
            b--;
            a = 7;
        }
        if(a == 7){
            a = 1;
        }
        else{
            c += 250;
            a++;
        }
        b--;
    }
    cout<<c;
}

原来b,c是int，后来改成long long 和 long long int也不行,求神犇解答