改了好几遍，终于不RE了，但……WA了

//2022tysc0784
#include<iostream>
using namespace std;
unsigned long long n,x,nnn,cnt;
int main()
{
    cin>>x>>n;
    for(unsigned long long i=1;i<=n;i++){
        if(x%7==0)x=1;
        if(x!=6&&x!=7)nnn+=250;
        x++;
    }
    cout<<nnn;
}