#include <bits/stdc++.h>
#include <atcoder/all>


using namespace std;
using namespace atcoder;
#define rep(i,m,n,k) for (int i = (int)(m); i < (int)(n); i += (int)(k))
#define ll long long
#define list(T,A,N) vector<T> A(N);for(int i=0;i<(int)(N);i++){cin >> A[i];}

int main(){
    
    ll ans = 0;
    ll x = 0;
    cin >> x;
    ans += 100*x;
    cin >> x;
    ans += 25*x;
    cin >> x;
    ans += 1*x;
    ll cnt = 0;
    ll p = ans/1000;
    ans = ans%1000;
    p = ans/100;
    ans = ans%100;
    cnt += p;
    p = ans/25;
    ans = ans%25;
    cnt += p;
    cnt += ans;
    cout << cnt << endl;
    return 0;

}