import java.util.Scanner;

public class Main {

	public static void main(String[] args) {
		Scanner sc = new Scanner(System.in);
		char[] tgts = new char[] {'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[] cnts = new int[tgts.length];
		char[] chars = new char[1200];
		String str = " ";

		 while(sc.hasNext()){
			str += sc.nextLine();

			chars = str.toCharArray();

			chars = switch_l(chars);
		 }


		for (int i = 0; i < tgts.length; i++) {
			System.out.println( tgts[i] + " : " + cnt_char(chars, tgts[i]) );
		}

		sc.close();

	}

	private static int cnt_char(char[] chars, char c) {
		int cnt = 0;

		for (int i = 0; i < chars.length; i++) {
			if ( chars[i] == c ){
				cnt++;
			}
		}

		return cnt;
	}

	private static char[] switch_l(char[] chars) {

		char[] chars_switch = new char[chars.length];
		for (int i = 0; i < chars.length; i++) {
				chars_switch[i] = Character.toLowerCase(chars[i]);
		}
		return chars_switch;
	}

} import java.util.Scanner; Scanner java.util public class Main {

	public static void main(String[] args) {
		Scanner sc = new Scanner(System.in);
		char[] tgts = new char[] {'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[] cnts = new int[tgts.length];
		char[] chars = new char[1200];
		String str = " ";

		 while(sc.hasNext()){
			str += sc.nextLine();

			chars = str.toCharArray();

			chars = switch_l(chars);
		 }


		for (int i = 0; i < tgts.length; i++) {
			System.out.println( tgts[i] + " : " + cnt_char(chars, tgts[i]) );
		}

		sc.close();

	}

	private static int cnt_char(char[] chars, char c) {
		int cnt = 0;

		for (int i = 0; i < chars.length; i++) {
			if ( chars[i] == c ){
				cnt++;
			}
		}

		return cnt;
	}

	private static char[] switch_l(char[] chars) {

		char[] chars_switch = new char[chars.length];
		for (int i = 0; i < chars.length; i++) {
				chars_switch[i] = Character.toLowerCase(chars[i]);
		}
		return chars_switch;
	}

} Main public static void main(String[] args) {
		Scanner sc = new Scanner(System.in);
		char[] tgts = new char[] {'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[] cnts = new int[tgts.length];
		char[] chars = new char[1200];
		String str = " ";

		 while(sc.hasNext()){
			str += sc.nextLine();

			chars = str.toCharArray();

			chars = switch_l(chars);
		 }


		for (int i = 0; i < tgts.length; i++) {
			System.out.println( tgts[i] + " : " + cnt_char(chars, tgts[i]) );
		}

		sc.close();

	} main {
		Scanner sc = new Scanner(System.in);
		char[] tgts = new char[] {'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[] cnts = new int[tgts.length];
		char[] chars = new char[1200];
		String str = " ";

		 while(sc.hasNext()){
			str += sc.nextLine();

			chars = str.toCharArray();

			chars = switch_l(chars);
		 }


		for (int i = 0; i < tgts.length; i++) {
			System.out.println( tgts[i] + " : " + cnt_char(chars, tgts[i]) );
		}

		sc.close();

	} Scanner sc = new Scanner(System.in); sc new Scanner(System.in) char[] tgts = new char[] {'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'}; tgts new char[] {'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'} char[] chars = new char[1200]; chars new char[1200] 1200 String str = " "; str " " while(sc.hasNext()){
			str += sc.nextLine();

			chars = str.toCharArray();

			chars = switch_l(chars);
		 } sc.hasNext() sc.hasNext sc {
			str += sc.nextLine();

			chars = str.toCharArray();

			chars = switch_l(chars);
		 } str += sc.nextLine() str sc.nextLine() sc.nextLine sc chars = str.toCharArray() chars str.toCharArray() str.toCharArray str chars = switch_l(chars) chars switch_l(chars) switch_l chars for (int i = 0; i < tgts.length; i++) {
			System.out.println( tgts[i] + " : " + cnt_char(chars, tgts[i]) );
		} int i = 0; int i = 0; i 0 i < tgts.length i tgts.length tgts tgts.length i++ i++ i {
			System.out.println( tgts[i] + " : " + cnt_char(chars, tgts[i]) );
		} {
			System.out.println( tgts[i] + " : " + cnt_char(chars, tgts[i]) );
		} System.out.println( tgts[i] + " : " + cnt_char(chars, tgts[i]) ) System.out.println System.out System System.out tgts[i] + " : " + cnt_char(chars, tgts[i]) tgts[i] + " : " + cnt_char(chars, tgts[i]) tgts[i] tgts i " : " cnt_char(chars, tgts[i]) cnt_char chars tgts[i] tgts i sc.close() sc.close sc String[] args args private static int cnt_char(char[] chars, char c) {
		int cnt = 0;

		for (int i = 0; i < chars.length; i++) {
			if ( chars[i] == c ){
				cnt++;
			}
		}

		return cnt;
	} cnt_char {
		int cnt = 0;

		for (int i = 0; i < chars.length; i++) {
			if ( chars[i] == c ){
				cnt++;
			}
		}

		return cnt;
	} int cnt = 0; cnt 0 for (int i = 0; i < chars.length; i++) {
			if ( chars[i] == c ){
				cnt++;
			}
		} int i = 0; int i = 0; i 0 i < chars.length i chars.length chars chars.length i++ i++ i {
			if ( chars[i] == c ){
				cnt++;
			}
		} {
			if ( chars[i] == c ){
				cnt++;
			}
		} if ( chars[i] == c ){
				cnt++;
			} chars[i] == c chars[i] chars i c {
				cnt++;
			} cnt++ cnt return cnt; cnt char[] chars chars char c c private static char[] switch_l(char[] chars) {

		char[] chars_switch = new char[chars.length];
		for (int i = 0; i < chars.length; i++) {
				chars_switch[i] = Character.toLowerCase(chars[i]);
		}
		return chars_switch;
	} switch_l {

		char[] chars_switch = new char[chars.length];
		for (int i = 0; i < chars.length; i++) {
				chars_switch[i] = Character.toLowerCase(chars[i]);
		}
		return chars_switch;
	} char[] chars_switch = new char[chars.length]; chars_switch new char[chars.length] chars.length chars chars.length for (int i = 0; i < chars.length; i++) {
				chars_switch[i] = Character.toLowerCase(chars[i]);
		} int i = 0; int i = 0; i 0 i < chars.length i chars.length chars chars.length i++ i++ i {
				chars_switch[i] = Character.toLowerCase(chars[i]);
		} {
				chars_switch[i] = Character.toLowerCase(chars[i]);
		} chars_switch[i] = Character.toLowerCase(chars[i]) chars_switch[i] chars_switch i Character.toLowerCase(chars[i]) Character.toLowerCase Character chars[i] chars i return chars_switch; chars_switch char[] chars chars public class Main {

	public static void main(String[] args) {
		Scanner sc = new Scanner(System.in);
		char[] tgts = new char[] {'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[] cnts = new int[tgts.length];
		char[] chars = new char[1200];
		String str = " ";

		 while(sc.hasNext()){
			str += sc.nextLine();

			chars = str.toCharArray();

			chars = switch_l(chars);
		 }


		for (int i = 0; i < tgts.length; i++) {
			System.out.println( tgts[i] + " : " + cnt_char(chars, tgts[i]) );
		}

		sc.close();

	}

	private static int cnt_char(char[] chars, char c) {
		int cnt = 0;

		for (int i = 0; i < chars.length; i++) {
			if ( chars[i] == c ){
				cnt++;
			}
		}

		return cnt;
	}

	private static char[] switch_l(char[] chars) {

		char[] chars_switch = new char[chars.length];
		for (int i = 0; i < chars.length; i++) {
				chars_switch[i] = Character.toLowerCase(chars[i]);
		}
		return chars_switch;
	}

} public class Main {

	public static void main(String[] args) {
		Scanner sc = new Scanner(System.in);
		char[] tgts = new char[] {'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[] cnts = new int[tgts.length];
		char[] chars = new char[1200];
		String str = " ";

		 while(sc.hasNext()){
			str += sc.nextLine();

			chars = str.toCharArray();

			chars = switch_l(chars);
		 }


		for (int i = 0; i < tgts.length; i++) {
			System.out.println( tgts[i] + " : " + cnt_char(chars, tgts[i]) );
		}

		sc.close();

	}

	private static int cnt_char(char[] chars, char c) {
		int cnt = 0;

		for (int i = 0; i < chars.length; i++) {
			if ( chars[i] == c ){
				cnt++;
			}
		}

		return cnt;
	}

	private static char[] switch_l(char[] chars) {

		char[] chars_switch = new char[chars.length];
		for (int i = 0; i < chars.length; i++) {
				chars_switch[i] = Character.toLowerCase(chars[i]);
		}
		return chars_switch;
	}

} Main
import java.util.Scanner;

public class Main {

	public static void main(String[] args) {
		Scanner sc = new Scanner(System.in);
		char[] tgts = new char[] {'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[] cnts = new int[tgts.length];
		char[] chars = new char[1200];
		String str = " ";

		 while(sc.hasNext()){
			str += sc.nextLine();

			chars = str.toCharArray();

			chars = switch_l(chars);
		 }


		for (int i = 0; i < tgts.length; i++) {
			System.out.println( tgts[i] + " : " + cnt_char(chars, tgts[i]) );
		}

		sc.close();

	}

	private static int cnt_char(char[] chars, char c) {
		int cnt = 0;

		for (int i = 0; i < chars.length; i++) {
			if ( chars[i] == c ){
				cnt++;
			}
		}

		return cnt;
	}

	private static char[] switch_l(char[] chars) {

		char[] chars_switch = new char[chars.length];
		for (int i = 0; i < chars.length; i++) {
				chars_switch[i] = Character.toLowerCase(chars[i]);
		}
		return chars_switch;
	}

}
