#include <stdio.h>

int main(){
  int alp[26] = {0};
  char ch;
  while(scanf("%c", &ch) != EOF){
    if(ch >= 65 && ch <= 90) alp[ch - 65]++;
    else if(ch >= 97 && ch <= 122) alp[ch - 97]++;
  }
  for(int i = 0; i < 26; i++) printf("%c : %d\n", i + 97, alp[i]);
}

