a[];main(i){for(;read(0,&i,1);++a[i]);for(i=14;i++<123;a[i]&&printf("%c:%3d\n",i,a[i]));}