n=30;c[999];main(){c[getchar()]++<n&&main();c[++n]&&printf("%c:%3d\n",n,c[n]);}