import java.io.*;

class Main {
	public static void main(String[] args){
		BufferedReader br = null;
		StringBuilder sb = new StringBuilder();
		final String lb = System.getProperty("line.separator");
		int[] count = new int[26];
		String str = null;
		try {
			br = new BufferedReader(new InputStreamReader(System.in));
			while((str = br.readLine()) != null){
				for(int i = 0; i < str.length(); i++){
					final char ch = str.charAt(i);
					if('A' <= ch && ch  <= 'Z'){
						count[ch - 'A']++;
					} else if('a' <= ch && ch <= 'z'){
						count[ch - 'a']++;
					} else {}
				}
			}

			for(int i = 0; i < count.length; i++){
				sb.append(String.valueOf((char)('a'+i))).append(" : ").append(count[i]).append(lb);
			}
			System.out.print(sb.toString());

		} catch(Exception e) {
			e.printStackTrace();
		} finally {
			try {
				if(br != null){
					br.close();
				}
			} catch(Exception e) {
				e.printStackTrace();
			}
		}
	}
} import java.io.*; io.* java class Main {
	public static void main(String[] args){
		BufferedReader br = null;
		StringBuilder sb = new StringBuilder();
		final String lb = System.getProperty("line.separator");
		int[] count = new int[26];
		String str = null;
		try {
			br = new BufferedReader(new InputStreamReader(System.in));
			while((str = br.readLine()) != null){
				for(int i = 0; i < str.length(); i++){
					final char ch = str.charAt(i);
					if('A' <= ch && ch  <= 'Z'){
						count[ch - 'A']++;
					} else if('a' <= ch && ch <= 'z'){
						count[ch - 'a']++;
					} else {}
				}
			}

			for(int i = 0; i < count.length; i++){
				sb.append(String.valueOf((char)('a'+i))).append(" : ").append(count[i]).append(lb);
			}
			System.out.print(sb.toString());

		} catch(Exception e) {
			e.printStackTrace();
		} finally {
			try {
				if(br != null){
					br.close();
				}
			} catch(Exception e) {
				e.printStackTrace();
			}
		}
	}
} Main public static void main(String[] args){
		BufferedReader br = null;
		StringBuilder sb = new StringBuilder();
		final String lb = System.getProperty("line.separator");
		int[] count = new int[26];
		String str = null;
		try {
			br = new BufferedReader(new InputStreamReader(System.in));
			while((str = br.readLine()) != null){
				for(int i = 0; i < str.length(); i++){
					final char ch = str.charAt(i);
					if('A' <= ch && ch  <= 'Z'){
						count[ch - 'A']++;
					} else if('a' <= ch && ch <= 'z'){
						count[ch - 'a']++;
					} else {}
				}
			}

			for(int i = 0; i < count.length; i++){
				sb.append(String.valueOf((char)('a'+i))).append(" : ").append(count[i]).append(lb);
			}
			System.out.print(sb.toString());

		} catch(Exception e) {
			e.printStackTrace();
		} finally {
			try {
				if(br != null){
					br.close();
				}
			} catch(Exception e) {
				e.printStackTrace();
			}
		}
	} main {
		BufferedReader br = null;
		StringBuilder sb = new StringBuilder();
		final String lb = System.getProperty("line.separator");
		int[] count = new int[26];
		String str = null;
		try {
			br = new BufferedReader(new InputStreamReader(System.in));
			while((str = br.readLine()) != null){
				for(int i = 0; i < str.length(); i++){
					final char ch = str.charAt(i);
					if('A' <= ch && ch  <= 'Z'){
						count[ch - 'A']++;
					} else if('a' <= ch && ch <= 'z'){
						count[ch - 'a']++;
					} else {}
				}
			}

			for(int i = 0; i < count.length; i++){
				sb.append(String.valueOf((char)('a'+i))).append(" : ").append(count[i]).append(lb);
			}
			System.out.print(sb.toString());

		} catch(Exception e) {
			e.printStackTrace();
		} finally {
			try {
				if(br != null){
					br.close();
				}
			} catch(Exception e) {
				e.printStackTrace();
			}
		}
	} BufferedReader br = null; br null StringBuilder sb = new StringBuilder(); sb new StringBuilder() final String lb = System.getProperty("line.separator"); lb System.getProperty("line.separator") System.getProperty System "line.separator" int[] count = new int[26]; count new int[26] 26 String str = null; str null try {
			br = new BufferedReader(new InputStreamReader(System.in));
			while((str = br.readLine()) != null){
				for(int i = 0; i < str.length(); i++){
					final char ch = str.charAt(i);
					if('A' <= ch && ch  <= 'Z'){
						count[ch - 'A']++;
					} else if('a' <= ch && ch <= 'z'){
						count[ch - 'a']++;
					} else {}
				}
			}

			for(int i = 0; i < count.length; i++){
				sb.append(String.valueOf((char)('a'+i))).append(" : ").append(count[i]).append(lb);
			}
			System.out.print(sb.toString());

		} catch(Exception e) {
			e.printStackTrace();
		} finally {
			try {
				if(br != null){
					br.close();
				}
			} catch(Exception e) {
				e.printStackTrace();
			}
		} catch(Exception e) {
			e.printStackTrace();
		} Exception e {
			e.printStackTrace();
		} e.printStackTrace() e.printStackTrace e {
			try {
				if(br != null){
					br.close();
				}
			} catch(Exception e) {
				e.printStackTrace();
			}
		} try {
				if(br != null){
					br.close();
				}
			} catch(Exception e) {
				e.printStackTrace();
			} catch(Exception e) {
				e.printStackTrace();
			} Exception e {
				e.printStackTrace();
			} e.printStackTrace() e.printStackTrace e {
				if(br != null){
					br.close();
				}
			} if(br != null){
					br.close();
				} br != null br null {
					br.close();
				} br.close() br.close br {
			br = new BufferedReader(new InputStreamReader(System.in));
			while((str = br.readLine()) != null){
				for(int i = 0; i < str.length(); i++){
					final char ch = str.charAt(i);
					if('A' <= ch && ch  <= 'Z'){
						count[ch - 'A']++;
					} else if('a' <= ch && ch <= 'z'){
						count[ch - 'a']++;
					} else {}
				}
			}

			for(int i = 0; i < count.length; i++){
				sb.append(String.valueOf((char)('a'+i))).append(" : ").append(count[i]).append(lb);
			}
			System.out.print(sb.toString());

		} br = new BufferedReader(new InputStreamReader(System.in)) br new BufferedReader(new InputStreamReader(System.in)) while((str = br.readLine()) != null){
				for(int i = 0; i < str.length(); i++){
					final char ch = str.charAt(i);
					if('A' <= ch && ch  <= 'Z'){
						count[ch - 'A']++;
					} else if('a' <= ch && ch <= 'z'){
						count[ch - 'a']++;
					} else {}
				}
			} (str = br.readLine()) != null (str = br.readLine()) str br.readLine() br.readLine br null {
				for(int i = 0; i < str.length(); i++){
					final char ch = str.charAt(i);
					if('A' <= ch && ch  <= 'Z'){
						count[ch - 'A']++;
					} else if('a' <= ch && ch <= 'z'){
						count[ch - 'a']++;
					} else {}
				}
			} for(int i = 0; i < str.length(); i++){
					final char ch = str.charAt(i);
					if('A' <= ch && ch  <= 'Z'){
						count[ch - 'A']++;
					} else if('a' <= ch && ch <= 'z'){
						count[ch - 'a']++;
					} else {}
				} int i = 0; int i = 0; i 0 i < str.length() i str.length() str.length str i++ i++ i {
					final char ch = str.charAt(i);
					if('A' <= ch && ch  <= 'Z'){
						count[ch - 'A']++;
					} else if('a' <= ch && ch <= 'z'){
						count[ch - 'a']++;
					} else {}
				} {
					final char ch = str.charAt(i);
					if('A' <= ch && ch  <= 'Z'){
						count[ch - 'A']++;
					} else if('a' <= ch && ch <= 'z'){
						count[ch - 'a']++;
					} else {}
				} final char ch = str.charAt(i); ch str.charAt(i) str.charAt str i if('A' <= ch && ch  <= 'Z'){
						count[ch - 'A']++;
					} else if('a' <= ch && ch <= 'z'){
						count[ch - 'a']++;
					} else {} 'A' <= ch && ch  <= 'Z' 'A' <= ch 'A' ch ch  <= 'Z' ch 'Z' {
						count[ch - 'A']++;
					} count[ch - 'A']++ count[ch - 'A'] count ch - 'A' ch 'A' if('a' <= ch && ch <= 'z'){
						count[ch - 'a']++;
					} else {} 'a' <= ch && ch <= 'z' 'a' <= ch 'a' ch ch <= 'z' ch 'z' {
						count[ch - 'a']++;
					} count[ch - 'a']++ count[ch - 'a'] count ch - 'a' ch 'a' {} for(int i = 0; i < count.length; i++){
				sb.append(String.valueOf((char)('a'+i))).append(" : ").append(count[i]).append(lb);
			} int i = 0; int i = 0; i 0 i < count.length i count.length count count.length i++ i++ i {
				sb.append(String.valueOf((char)('a'+i))).append(" : ").append(count[i]).append(lb);
			} {
				sb.append(String.valueOf((char)('a'+i))).append(" : ").append(count[i]).append(lb);
			} sb.append(String.valueOf((char)('a'+i))).append(" : ").append(count[i]).append(lb) sb.append(String.valueOf((char)('a'+i))).append(" : ").append(count[i]).append sb.append(String.valueOf((char)('a'+i))).append(" : ").append(count[i]) sb.append(String.valueOf((char)('a'+i))).append(" : ").append sb.append(String.valueOf((char)('a'+i))).append(" : ") sb.append(String.valueOf((char)('a'+i))).append sb.append(String.valueOf((char)('a'+i))) sb.append sb String.valueOf((char)('a'+i)) String.valueOf String (char)('a'+i) 'a' i " : " count[i] count i lb System.out.print(sb.toString()) System.out.print System.out System System.out sb.toString() sb.toString sb String[] args args
import java.io.*;

class Main {
	public static void main(String[] args){
		BufferedReader br = null;
		StringBuilder sb = new StringBuilder();
		final String lb = System.getProperty("line.separator");
		int[] count = new int[26];
		String str = null;
		try {
			br = new BufferedReader(new InputStreamReader(System.in));
			while((str = br.readLine()) != null){
				for(int i = 0; i < str.length(); i++){
					final char ch = str.charAt(i);
					if('A' <= ch && ch  <= 'Z'){
						count[ch - 'A']++;
					} else if('a' <= ch && ch <= 'z'){
						count[ch - 'a']++;
					} else {}
				}
			}

			for(int i = 0; i < count.length; i++){
				sb.append(String.valueOf((char)('a'+i))).append(" : ").append(count[i]).append(lb);
			}
			System.out.print(sb.toString());

		} catch(Exception e) {
			e.printStackTrace();
		} finally {
			try {
				if(br != null){
					br.close();
				}
			} catch(Exception e) {
				e.printStackTrace();
			}
		}
	}
}