#include<stdio.h>
    int main(){
        int L, M, N, i, j, k;
            scanf("%d", &L);
                scanf("%d", &M);
                    scanf("%d", &N);
        if(L >= 10){
            for(i = 0; L - 10 * i >= 0; i++);
        }else{}
            if(M >= 4){
                for(j = 0; M - 4 * j >= 0; j++);
            }else{}
                if(N >= 25){
                    for(k = 0; N - 25 * k >= 0; k++);
                }else{}
        printf("%d\n", ((j + L - 10 * i) * 100) + ((k + M - 4 * j) * 25) + ((N - 25 * k) * 1) + 1000 * i);
    return 0;
    }