n,m=map(int,input().split()) res=0 for x in range(n,n+m): if x==6 or (x-6)%7==0 or x==7 or (x-7)%7==0: res=res else: res+=250 print(res)