import java.util.Scanner;

public class Main {
	void run() {
		Scanner scan = new Scanner(System.in);
		char[] alphabet = {'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[27];

		while (scan.hasNext()) {
			String str = scan.next();
			char[] schar = str.toCharArray();
			for (char c : schar) {
				if (Character.isUpperCase(c))
					c = Character.toLowerCase(c);
				for (int i = 0; i < alphabet.length; i++)
					if (c == alphabet[i]) count[i] += 1;
			}
		}
		for (int i = 0; i < count.length - 1; i++)
			System.out.printf("%c : %d\n", alphabet[i], count[i]);
	}
	public static void main(String[] args) {
		new Main().run();
	}
} import java.util.Scanner; Scanner java.util public class Main {
	void run() {
		Scanner scan = new Scanner(System.in);
		char[] alphabet = {'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[27];

		while (scan.hasNext()) {
			String str = scan.next();
			char[] schar = str.toCharArray();
			for (char c : schar) {
				if (Character.isUpperCase(c))
					c = Character.toLowerCase(c);
				for (int i = 0; i < alphabet.length; i++)
					if (c == alphabet[i]) count[i] += 1;
			}
		}
		for (int i = 0; i < count.length - 1; i++)
			System.out.printf("%c : %d\n", alphabet[i], count[i]);
	}
	public static void main(String[] args) {
		new Main().run();
	}
} Main void run() {
		Scanner scan = new Scanner(System.in);
		char[] alphabet = {'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[27];

		while (scan.hasNext()) {
			String str = scan.next();
			char[] schar = str.toCharArray();
			for (char c : schar) {
				if (Character.isUpperCase(c))
					c = Character.toLowerCase(c);
				for (int i = 0; i < alphabet.length; i++)
					if (c == alphabet[i]) count[i] += 1;
			}
		}
		for (int i = 0; i < count.length - 1; i++)
			System.out.printf("%c : %d\n", alphabet[i], count[i]);
	} run {
		Scanner scan = new Scanner(System.in);
		char[] alphabet = {'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[27];

		while (scan.hasNext()) {
			String str = scan.next();
			char[] schar = str.toCharArray();
			for (char c : schar) {
				if (Character.isUpperCase(c))
					c = Character.toLowerCase(c);
				for (int i = 0; i < alphabet.length; i++)
					if (c == alphabet[i]) count[i] += 1;
			}
		}
		for (int i = 0; i < count.length - 1; i++)
			System.out.printf("%c : %d\n", alphabet[i], count[i]);
	} Scanner scan = new Scanner(System.in); scan new Scanner(System.in) char[] alphabet = {'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'}; alphabet {'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'} '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[27]; count new int[27] 27 while (scan.hasNext()) {
			String str = scan.next();
			char[] schar = str.toCharArray();
			for (char c : schar) {
				if (Character.isUpperCase(c))
					c = Character.toLowerCase(c);
				for (int i = 0; i < alphabet.length; i++)
					if (c == alphabet[i]) count[i] += 1;
			}
		} scan.hasNext() scan.hasNext scan {
			String str = scan.next();
			char[] schar = str.toCharArray();
			for (char c : schar) {
				if (Character.isUpperCase(c))
					c = Character.toLowerCase(c);
				for (int i = 0; i < alphabet.length; i++)
					if (c == alphabet[i]) count[i] += 1;
			}
		} String str = scan.next(); str scan.next() scan.next scan char[] schar = str.toCharArray(); schar str.toCharArray() str.toCharArray str for (char c : schar) {
				if (Character.isUpperCase(c))
					c = Character.toLowerCase(c);
				for (int i = 0; i < alphabet.length; i++)
					if (c == alphabet[i]) count[i] += 1;
			} char c schar {
				if (Character.isUpperCase(c))
					c = Character.toLowerCase(c);
				for (int i = 0; i < alphabet.length; i++)
					if (c == alphabet[i]) count[i] += 1;
			} {
				if (Character.isUpperCase(c))
					c = Character.toLowerCase(c);
				for (int i = 0; i < alphabet.length; i++)
					if (c == alphabet[i]) count[i] += 1;
			} if (Character.isUpperCase(c))
					c = Character.toLowerCase(c); Character.isUpperCase(c) Character.isUpperCase Character c c = Character.toLowerCase(c) c Character.toLowerCase(c) Character.toLowerCase Character c for (int i = 0; i < alphabet.length; i++)
					if (c == alphabet[i]) count[i] += 1; int i = 0; int i = 0; i 0 i < alphabet.length i alphabet.length alphabet alphabet.length i++ i++ i if (c == alphabet[i]) count[i] += 1; if (c == alphabet[i]) count[i] += 1; c == alphabet[i] c alphabet[i] alphabet i count[i] += 1 count[i] count i 1 for (int i = 0; i < count.length - 1; i++)
			System.out.printf("%c : %d\n", alphabet[i], count[i]); int i = 0; int i = 0; i 0 i < count.length - 1 i count.length - 1 count.length count count.length 1 i++ i++ i System.out.printf("%c : %d\n", alphabet[i], count[i]); System.out.printf("%c : %d\n", alphabet[i], count[i]) System.out.printf System.out System System.out "%c : %d\n" alphabet[i] alphabet i count[i] count i public static void main(String[] args) {
		new Main().run();
	} main {
		new Main().run();
	} new Main().run() new Main().run new Main() String[] args args public class Main {
	void run() {
		Scanner scan = new Scanner(System.in);
		char[] alphabet = {'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[27];

		while (scan.hasNext()) {
			String str = scan.next();
			char[] schar = str.toCharArray();
			for (char c : schar) {
				if (Character.isUpperCase(c))
					c = Character.toLowerCase(c);
				for (int i = 0; i < alphabet.length; i++)
					if (c == alphabet[i]) count[i] += 1;
			}
		}
		for (int i = 0; i < count.length - 1; i++)
			System.out.printf("%c : %d\n", alphabet[i], count[i]);
	}
	public static void main(String[] args) {
		new Main().run();
	}
} public class Main {
	void run() {
		Scanner scan = new Scanner(System.in);
		char[] alphabet = {'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[27];

		while (scan.hasNext()) {
			String str = scan.next();
			char[] schar = str.toCharArray();
			for (char c : schar) {
				if (Character.isUpperCase(c))
					c = Character.toLowerCase(c);
				for (int i = 0; i < alphabet.length; i++)
					if (c == alphabet[i]) count[i] += 1;
			}
		}
		for (int i = 0; i < count.length - 1; i++)
			System.out.printf("%c : %d\n", alphabet[i], count[i]);
	}
	public static void main(String[] args) {
		new Main().run();
	}
} Main
import java.util.Scanner;

public class Main {
	void run() {
		Scanner scan = new Scanner(System.in);
		char[] alphabet = {'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[27];

		while (scan.hasNext()) {
			String str = scan.next();
			char[] schar = str.toCharArray();
			for (char c : schar) {
				if (Character.isUpperCase(c))
					c = Character.toLowerCase(c);
				for (int i = 0; i < alphabet.length; i++)
					if (c == alphabet[i]) count[i] += 1;
			}
		}
		for (int i = 0; i < count.length - 1; i++)
			System.out.printf("%c : %d\n", alphabet[i], count[i]);
	}
	public static void main(String[] args) {
		new Main().run();
	}
}