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