s=int(input())*100 s+=int(input())*25 s+=int(input()) s%=1000 r=s//100 r+=s%100//25 print(r+s%25)