<?php
fscanf(STDIN, '%d', $L); // 100円L枚
fscanf(STDIN, '%d', $M); // 25円M枚
fscanf(STDIN, '%d', $N); // 1円N枚
$O = 0; // 1000円0枚

function exchange(&$smaller, &$bigger, $bdr){
  while($smaller >= $bdr){
    $smaller -= $bdr;
    $bigger++;
  }
}

exchange($N, $M, 25);
exchange($M, $L, 4);
exchange($L, $O, 10);

echo $L + $M + $N;