#include <stdio.h>

main() {
    int one, quarter, handred;
    int sum;
    int num = 0;
    scanf("%d%d%d", &one, &quarter, &handred);
    
    sum = one + quarter*25 + handred*100;
    
    sum = sum % 1000;
    
    num = sum / 100;
    
    sum = sum % 100;
    
    num += sum / 25;
    
    sum = sum % 25;
    
    num += sum;
    
    printf("%d\n", num);
}