void main(){
          int a[100]={0},i,j;
          char c;
          while((c=getchar())!='\n'){
                for(i=65;i<=90;i++){
                  if(c==i||c==i+32){
                        a[i]++;
                  }
                }
                for(j=65;j<=90;j++){
                  if(a[j]>0){
                        pfintf("%c:%-3d\n",j,a[i]);
                  }
                }
                getchar();
          }
        }

        void main(){
          int a[100]={0},i,j;
          char c;
          while((c=getchar())!='\n'){
                for(i=65;i<=90;i++){
                  if(c==i||c==i+32){
                        a[i]++;
                  }
                }
                for(j=65;j<=90;j++){
                  if(a[j]>0){
                        pfintf("%c:%-3d\n",j,a[i]);
                  }
                }
                getchar();
          }
        }