import java.util.Scanner;

public class Main {

	public static void main(String[] args) {
		Scanner sc = new Scanner(System.in);
		char[] tgts = new char[] {'a', 'b', 'c', 'd', 'e', 'f', 'g', 'h', 'i', 'j', 'k', 'l',
				'm', 'n', 'o', 'p', 'q', 'r', 's', 't', 'u', 'v', 'w', 'x', 'y', 'z'};
		// int[] cnts = new int[tgts.length];
		char[] chars = new char[1200];
		String str = " ";

		 while(sc.hasNext()){
			str += sc.nextLine();

			chars = str.toCharArray();

			chars = switch_l(chars);
		 }


		for (int i = 0; i < tgts.length; i++) {
			System.out.println( tgts[i] + " : " + cnt_char(chars, tgts[i]) );
		}

		sc.close();

	}

	private static int cnt_char(char[] chars, char c) {
		int cnt = 0;

		for (int i = 0; i < chars.length; i++) {
			if ( chars[i] == c ){
				cnt++;
			}
		}

		return cnt;
	}

	private static char[] switch_l(char[] chars) {

		char[] chars_switch = new char[chars.length];
		for (int i = 0; i < chars.length; i++) {
				chars_switch[i] = Character.toLowerCase(chars[i]);
		}
		return chars_switch;
	}

}

/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