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