#include<stdio.h>
#include<string.h>
int main()
{int i,j,a[3]={0};
char name[3][9]={"张三","李四","王五"},s[9];
for(i=0;i<10;i++)
{scanf("%s",s);
for(j=0;j<3;j++)
if(strcmp(s,name[j])==0)
a[j]++;
}
for(i=0;i<3;i++)
printf("%s: %d\n",name[i],a[i]);
return 0;
}