#include<cstdio>


int main(void)
{
	int l, m, n, s;

	while(scanf("%d%d%d", &l, &m, &n)==3)
	{
		s=l*100+m*25+n;
		s%=1000;
		l=s/100, s-=l*100;
		m=s/25, s-=m*25;
		n=s;
		printf("%d\n", l+m+n);
	}

	return 0;
}