#include <iostream>
#include <cstdio>
#include <algorithm>
using namespace std;


int main()
{
	long long a, b,i,sum,day;
	sum = 0;
	scanf("%lld %lld", &a, &b);
	i = a;
	for (day=1;day <= b;day++)
	{
		if ( i == 6||i==7)
		{
			i = 1;
		}
		else
		{
			sum++;
			i++;
		}
	}
	sum = sum * 250;
	printf("%lld", sum);
}