#import<ios>
int a[999],b;main(){for(;!a[b=++a[getchar()]]|b<64?b%65:printf("%c:%3d\n",b,a[b]););}