#include <stdio.h>

int main(int argc, char *argv[]){
    int a, b, c, d, ans;
    scanf("%d%d%d", &c, &b, &a);
    d = 0;
    
    d = (a + b * 25 + c * 100) % 1000;
    
    c = d / 100;
    d %= 100;
    b = d / 25;
    a = d % 25;
     
    ans = a + b + c;
    
    printf("%d", ans);
    
    return 0;
}