s=open('/dev/fd/0').read();c=65;exec"print'%c:%%3i'%c%s.count(chr(c));c+=1+(c==90)*6;"*52