import java.util.Scanner;

public class Main {

	public static void main(String[] args) {
		// TODO 自動生成されたメソッド・スタブ
		Scanner scan = new Scanner(System.in);
		char[] alf = {'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[] count = new int[26];
		
		StringBuilder str_kari = new StringBuilder();
		while(scan.hasNextLine()) {
			str_kari.append(scan.nextLine());
		}

		String str = str_kari.toString();
		for(int i = 0; i < str.length(); i++) {
			char temp = str.charAt(i);
			// not alfabet
			if(!Character.isLetter(temp)) {
				// nothing
			}
			else {
				// 大文字なら小文字へ
				if(Character.isUpperCase(temp)) {
					temp = Character.toLowerCase(temp);
				}
				for(int j = 0; j < 26; j++) {
					if(temp == alf[j]) count[j]++;
				}
				
			}
		}
		
		for(int i = 0; i < 26; i++) {
			System.out.println(alf[i] + " : " + count[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