#include <stdio.h>

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