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);
    }
  }
} import java.io.*; io.* java import java.util.*; util.* java import java.lang.*; lang.* java 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);
    }
  }
} 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);
    }
  } main {
    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);
    }
  } Scanner scan=new Scanner(System.in); scan new Scanner(System.in) StringBuilder input=new StringBuilder(); input new StringBuilder() do{
      input.append(scan.nextLine());
    }while(scan.hasNext()); scan.hasNext() scan.hasNext scan {
      input.append(scan.nextLine());
    } input.append(scan.nextLine()) input.append input scan.nextLine() scan.nextLine scan 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);
    } char i='a'; char i='a'; i 'a' i<='z' i 'z' i++ i++ 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);
    } {
      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);
    } int count=0; 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++;
        }
      } int j=0; int j=0; j 0 j<input.length() j input.length() input.length input j++ j++ j {
        if(input.toString().charAt(j)==i || Character.toUpperCase(input.toString().charAt(j))==Character.toUpperCase(i)){
          count++;
        }
      } {
        if(input.toString().charAt(j)==i || Character.toUpperCase(input.toString().charAt(j))==Character.toUpperCase(i)){
          count++;
        }
      } if(input.toString().charAt(j)==i || Character.toUpperCase(input.toString().charAt(j))==Character.toUpperCase(i)){
          count++;
        } input.toString().charAt(j)==i || Character.toUpperCase(input.toString().charAt(j))==Character.toUpperCase(i) input.toString().charAt(j)==i input.toString().charAt(j) input.toString().charAt input.toString() input.toString input j i Character.toUpperCase(input.toString().charAt(j))==Character.toUpperCase(i) Character.toUpperCase(input.toString().charAt(j)) Character.toUpperCase Character input.toString().charAt(j) input.toString().charAt input.toString() input.toString input j Character.toUpperCase(i) Character.toUpperCase Character i {
          count++;
        } count++ count System.out.println(i+" : "+count) System.out.println System.out System System.out i+" : "+count i+" : "+count i " : " count String[] args args
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);
    }
  }
}
