import java.io.BufferedReader;
import java.io.IOException;
import java.io.InputStreamReader;

class Main {

	public static void main(String[] args) throws IOException{

		BufferedReader br = new BufferedReader(new InputStreamReader(System.in));
		int[] alphabet = new int[26];
		char a = 'a';

		while(true){
			String str = br.readLine();
			if(str == null)
				break;
			for(int i=0; i<str.length(); i++){
				if(Character.isUnicodeIdentifierStart(str.charAt(i))){
					int num = Character.toLowerCase(str.charAt(i)) - 'a';
					alphabet[num]++;
				}
			}
		}

		for(int i=0; i<alphabet.length; i++){
			System.out.println(a++ + " : " + alphabet[i]);
		}
	}

} import java.io.BufferedReader; BufferedReader java.io import java.io.IOException; IOException java.io import java.io.InputStreamReader; InputStreamReader java.io class Main {

	public static void main(String[] args) throws IOException{

		BufferedReader br = new BufferedReader(new InputStreamReader(System.in));
		int[] alphabet = new int[26];
		char a = 'a';

		while(true){
			String str = br.readLine();
			if(str == null)
				break;
			for(int i=0; i<str.length(); i++){
				if(Character.isUnicodeIdentifierStart(str.charAt(i))){
					int num = Character.toLowerCase(str.charAt(i)) - 'a';
					alphabet[num]++;
				}
			}
		}

		for(int i=0; i<alphabet.length; i++){
			System.out.println(a++ + " : " + alphabet[i]);
		}
	}

} Main public static void main(String[] args) throws IOException{

		BufferedReader br = new BufferedReader(new InputStreamReader(System.in));
		int[] alphabet = new int[26];
		char a = 'a';

		while(true){
			String str = br.readLine();
			if(str == null)
				break;
			for(int i=0; i<str.length(); i++){
				if(Character.isUnicodeIdentifierStart(str.charAt(i))){
					int num = Character.toLowerCase(str.charAt(i)) - 'a';
					alphabet[num]++;
				}
			}
		}

		for(int i=0; i<alphabet.length; i++){
			System.out.println(a++ + " : " + alphabet[i]);
		}
	} main {

		BufferedReader br = new BufferedReader(new InputStreamReader(System.in));
		int[] alphabet = new int[26];
		char a = 'a';

		while(true){
			String str = br.readLine();
			if(str == null)
				break;
			for(int i=0; i<str.length(); i++){
				if(Character.isUnicodeIdentifierStart(str.charAt(i))){
					int num = Character.toLowerCase(str.charAt(i)) - 'a';
					alphabet[num]++;
				}
			}
		}

		for(int i=0; i<alphabet.length; i++){
			System.out.println(a++ + " : " + alphabet[i]);
		}
	} BufferedReader br = new BufferedReader(new InputStreamReader(System.in)); br new BufferedReader(new InputStreamReader(System.in)) int[] alphabet = new int[26]; alphabet new int[26] 26 char a = 'a'; a 'a' while(true){
			String str = br.readLine();
			if(str == null)
				break;
			for(int i=0; i<str.length(); i++){
				if(Character.isUnicodeIdentifierStart(str.charAt(i))){
					int num = Character.toLowerCase(str.charAt(i)) - 'a';
					alphabet[num]++;
				}
			}
		} true {
			String str = br.readLine();
			if(str == null)
				break;
			for(int i=0; i<str.length(); i++){
				if(Character.isUnicodeIdentifierStart(str.charAt(i))){
					int num = Character.toLowerCase(str.charAt(i)) - 'a';
					alphabet[num]++;
				}
			}
		} String str = br.readLine(); str br.readLine() br.readLine br if(str == null)
				break; str == null str null break; for(int i=0; i<str.length(); i++){
				if(Character.isUnicodeIdentifierStart(str.charAt(i))){
					int num = Character.toLowerCase(str.charAt(i)) - 'a';
					alphabet[num]++;
				}
			} int i=0; int i=0; i 0 i<str.length() i str.length() str.length str i++ i++ i {
				if(Character.isUnicodeIdentifierStart(str.charAt(i))){
					int num = Character.toLowerCase(str.charAt(i)) - 'a';
					alphabet[num]++;
				}
			} {
				if(Character.isUnicodeIdentifierStart(str.charAt(i))){
					int num = Character.toLowerCase(str.charAt(i)) - 'a';
					alphabet[num]++;
				}
			} if(Character.isUnicodeIdentifierStart(str.charAt(i))){
					int num = Character.toLowerCase(str.charAt(i)) - 'a';
					alphabet[num]++;
				} Character.isUnicodeIdentifierStart(str.charAt(i)) Character.isUnicodeIdentifierStart Character str.charAt(i) str.charAt str i {
					int num = Character.toLowerCase(str.charAt(i)) - 'a';
					alphabet[num]++;
				} int num = Character.toLowerCase(str.charAt(i)) - 'a'; num Character.toLowerCase(str.charAt(i)) - 'a' Character.toLowerCase(str.charAt(i)) Character.toLowerCase Character str.charAt(i) str.charAt str i 'a' alphabet[num]++ alphabet[num] alphabet num for(int i=0; i<alphabet.length; i++){
			System.out.println(a++ + " : " + alphabet[i]);
		} int i=0; int i=0; i 0 i<alphabet.length i alphabet.length alphabet alphabet.length i++ i++ i {
			System.out.println(a++ + " : " + alphabet[i]);
		} {
			System.out.println(a++ + " : " + alphabet[i]);
		} System.out.println(a++ + " : " + alphabet[i]) System.out.println System.out System System.out a++ + " : " + alphabet[i] a++ + " : " + alphabet[i] a++ a " : " alphabet[i] alphabet i String[] args args
import java.io.BufferedReader;
import java.io.IOException;
import java.io.InputStreamReader;

class Main {

	public static void main(String[] args) throws IOException{

		BufferedReader br = new BufferedReader(new InputStreamReader(System.in));
		int[] alphabet = new int[26];
		char a = 'a';

		while(true){
			String str = br.readLine();
			if(str == null)
				break;
			for(int i=0; i<str.length(); i++){
				if(Character.isUnicodeIdentifierStart(str.charAt(i))){
					int num = Character.toLowerCase(str.charAt(i)) - 'a';
					alphabet[num]++;
				}
			}
		}

		for(int i=0; i<alphabet.length; i++){
			System.out.println(a++ + " : " + alphabet[i]);
		}
	}

}