#include <stdio.h>

int main(void){
	int L,M,N;
	int temp;
	int money;
	
	
	scanf("%d", &L);
	scanf("%d", &M);
	scanf("%d", &N);
	
	
	temp = N/25;
	N = N%25;
	M += temp;
	
	money = M*25;
	
	temp = money/100;
	M = M - ((temp*100)/25);
	L += temp;
	
	money = L*100;
	temp = money/1000;
	L = L - ((temp*1000)/100);
	
	printf("%d\n", (L+M+N));
	
	return 0;
}