<?php
$input_number_100 = trim(fgets(STDIN));
$input_number_25 = trim(fgets(STDIN));
$input_number_1 = trim(fgets(STDIN));

$total = $input_number_100 *100 + $input_number_25 *25 + $input_number_1;
$answer_number_total = 0;
if($total != 0){
    $answer_number_100 = floor($total / 100);
    $answer_number_25 = floor(($total - $answer_number_100 * 100) / 25);
    $answer_number_1 = $total - ($answer_number_100 * 100 + $answer_number_25 * 25);
    $answer_number_total = $answer_number_100 + $answer_number_25 + $answer_number_1;
}
echo $answer_number_total . "\n";