#include<stdio.h>

int main(void){
	int l,m,n,t,r=0;
	scanf("%d%d%d",&l,&m,&n);
	t = 100*l+25*m+n;
	t = t % 1000;
	r+=(t/100);
	t = t % 100;
	r+=(t/25);
	t = t % 25;
	r+=t;
	printf("%d\n",r);
	return 0;
}