x,n=map(int,input().split())
cot=n//7
day1=cot*5
mod=n%7
t=x-1+mod
if t==0:
    day=day1
if x<=5:
    if t<=5:
        day=day1+mod
    elif t==6 or t==7:
        day=day1+(6-x)
    elif t>7 and t<=x+5:
        day=day1+(t-x)+1
if x==6:
    if t<=7:
        day=day1
    else:
        day=day1+(t-7)
if x==7:
    day=day1+(t-7)
print(250*day)