a[999];main(c){while(~scanf("%1s",a)?++a[*a]:a[++c]?printf("%c:%3d\n",c,a[c]):c<123);}