a,b,c,d;main(){scanf("%d%d%d",&a,&b,&c);d=a+b*25+c*100;printf("%d",(d%1000)/100+((d%1000)%100)/25+((d%1000)%100)%25);}