# include <stdio.h>

int main(void)
{
    int i, j = 0, k, a, b;
    
    scanf("%d %d", &a, &b);
    
    for (i=a; i!=7&&i!=6; ++i)
        j++;
	if ((b+a-8)>=7)
	{
		if ((b+a-8)%7 == 0 )
			k = j+5*(b+a-8)/7;
		else if ((b+a-8)%7 == 6 || (b+a-8)%7 == 5)
			k = j+5*(1+(b+a-8)/7);
		else 
			k = (j+(b+a-8)%7)+5*(b+a-8)/7;
	}
	else if ((b+a-8) == 6)
		k = j+5;
	else
		k = j+b+a-8;
        
    printf("%d\n", 250*k);
    
    return 0;
}