import std.stdio;int[128]a;int n;void main(){a[n=a[getchar+1]++]&&n>11&&printf("%c:%3d
",n-1,a[n]);main;}