#include <stdio.h>
int main(){
	int one_coin=0,two_five=0,hundred=0,thousand=0,sum=0;
	scanf("%d",&hundred);
	scanf("%d",&two_five);
	scanf("%d",&one_coin);
	sum = one_coin+(two_five*25)+(hundred*100);
	thousand = sum/1000;
	sum %= 1000;
	hundred = sum/100;
	sum %= 100;
	two_five = sum/25;
	sum %= 25;
	one_coin = sum;
	printf("%d\n",(thousand+hundred+two_five+one_coin));
	return 0;
}