import java.io.BufferedReader;
import java.io.InputStreamReader;
import java.io.IOException;
public class Main{
	public static void main(String[] args) throws IOException{
		try{
			BufferedReader br = new BufferedReader(new InputStreamReader(System.in));
			StringBuilder sb = new StringBuilder();
			int[] counter = new int[26];
			String line; 
			//line = br.readLine();
			char ch = 'a';
			//char[] c = line.toCharArray();
			while((line = br.readLine())!=null){
				char[] c = line.toCharArray();
				for(int i = 0; i < c.length; i++){
					if( c[i] >= 'A' && c[i] <= 'z' ){
						if( Character.isUpperCase(c[i]) ){
							c[i] = Character.toLowerCase(c[i]);
						}
						int num = c[i] - 'a';
						counter[num]++;
					}
				}
			}
			
			for(int i = 0; i < counter.length; i++){
				System.out.println( ch++ + " : " + counter[i]);
			}
		}catch(IOException e){
			System.out.println(e);
		}
	}
}
/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