#include <stdio.h>
int main(){
int a,b,c;
scanf("%d%d%d",&a,&b,&c);
a=a*100+b*25+c;
printf("%d\n",a%1000/100+a%100/25+a%25);
return 0;
}