a, b = map(int, input().split(" "))
s = (b - (8 - a)) // 7
if a == 6 or a == 7:
    if (b - (8 - a)) % 7 >= 5:
        day = (s + 1) * 5
    else:
        day = s * 5 + 5
else:
    if (b - (8 - a)) % 7 >= 5:
        day = (s + 1) * 5 + (6 - a)
    else:
        day = s * 5 + (b - (8 - a))% 7 + (6 - a)
print(day * 250)