#include <bits/stdc++.h>
using namespace std;
int main(){
int t;
int s = 0;
cin>>t; s += t * 100;
cin>>t; s += t * 25;
cin>>t; s += t * 1;
int u = 0;
s %= 1000;
u += s / 100; s%=100;
u += s / 25; s %= 25;
cout << u + s << endl;
}