t[];main(c){for(;~c;)t[c=getchar()]++;for(c=64;c++<'z';)t[c]&&printf("%c:%3d\n",c,t[c]);}