import java.io.*;
import java.util.*;
import java.lang.*;

class Main{
  public static void main(String[] args) throws java.lang.NumberFormatException{
    Scanner scan=new Scanner(System.in);
    StringBuilder input=new StringBuilder();
    do{
      input.append(scan.nextLine());
    }while(scan.hasNext());

    for(char i='a';i<='z';i++){
      int count=0;
      for(int j=0;j<input.length();j++){
        if(input.toString().charAt(j)==i || Character.toUpperCase(input.toString().charAt(j))==Character.toUpperCase(i)){
          count++;
        }
      }
      System.out.println(i+" : "+count);
    }
  }
}

/tmp/hf-datasets-cache/medium/datasets/42704881117311-config-parquet-and-info-qiankunmu-Project_CodeNet-896c9d36/hub/datasets--qiankunmu--Project_CodeNet_Python800_and_Java250/snapshots/c899fde44a77ba1cc14973ed3de064e4ff3aadc7/Project_CodeNet_Java250.tar.gz