import java.util.Scanner;

public class Main{
	public static void main(String[] args){
		//データ入力の準備
		Scanner sc = new Scanner(System.in);
		
		//データ数の配列
		int result[] = new int[26];
		for (int i = 0; i < 26; i++){
			result[i] = 0;
		}
		
		while (sc.hasNext() == true){
			
			//データを小文字に変換して入力
			String temp = sc.nextLine().toLowerCase();
			
			for (int i = 0; i < temp.length(); i++){
				//入力された文字のascllコード
				int ac = temp.charAt(i) - 97;
				if (ac < 0 || 26 <= ac){
					continue;
				}
				result[ac]++;
			}
		}
		
		//結果の出力
		char[] value = {'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'};
		
		for (int i = 0; i < 26; i++){
			System.out.println(value[i] + " : " + result[i]);
		}
	}
}

/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