题解

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