#include<stdio.h>
int main()
{
int n,max=-1,s=0;
scanf("%d",&n);
while(n)
{
if(n%10==0)s++;
if(n%10>max)max=n%10;
n/=10;
}
printf("0:%d\nmax=%d\n",s,max);
return 0;
}