#include<stdio.h>
#include<string.h>
struct stud
{ 
char name[10];
	int coun;
}houxuan[3]={"liming",0,"zhangli",0,"wangyi",0};
main()
{ 
  int i,j;
   char stuname[10];
	for(i=1;i<=10;i++)
	{
scanf("%s", stuname);
		for(j=0;j<3;j++)
		if(strcmp(stuname,houxuan[j].name)==0)  
houxuan[j].coun++;
}
printf("\n");  
	for(i=0;i<3;i++)
printf("%5s:%d\n",houxuan[i].name,houxuan[i].coun);
	}