#include <stdio.h>
#include <malloc.h>
char str[60000];
int str_len = 0;

/// <summary>
/// 入力された数字を返す
/// </summary>
/// <returns></returns>
int ReadNum() {
	char c = getchar();
	int num = 0;
	int numCnt = 0;
	while (c != '\n') {
		num = num * 10 + c - '0';
		c = getchar();
	}

	return num;
}


/// <summary>
/// 所持している硬貨を順に入力させ、両替した場合に硬貨が合計何枚になるかを返す
/// </summary>
/// <returns></returns>
int CntExchangedCoins() {
	int bill_1000 = 0;
	int coin_100 = ReadNum();
	int coin_25 = ReadNum();
	int coin_1 = ReadNum();
	int sum = (coin_1)+(coin_25 * 25) + (coin_100 * 100);

	bill_1000 = sum / 1000;
	sum %= 1000;

	coin_100 = sum / 100;
	sum %= 100;

	coin_25 = sum / 25;
	sum %= 25;

	coin_1 = sum;

	return coin_100 + coin_25 + coin_1;
}

int main()
{
	printf("%d\n", CntExchangedCoins());
}