#include<bits/stdc++.h>
using namespace std;
int main()
{
	int x,n,m=0,t=0;
	cin>>x>>n;
	if(x==7)
	{
		m=(n+x)/7-1;
		cout<<"m:"<<m<<endl;
	}
	else
	{
		m=(n+x)/7;
		cout<<"m:"<<m<<endl;
	}
	t=250*(n-(m*2));
	cout<<t<<endl;
}