n100=int(input()) n25=int(input()) n1=int(input()) t=n100*100+n25*25+n1 t%=1000 ans=0 ans+=t//100 t%=100 ans+=t//25 ans+=t%25 print(ans)