import java.util.Scanner;

public class Main {

	public static final int BIG_NUM  = 2000000000;
	public static final int MOD  = 1000000007;

	public static void main(String[] args) {

		Scanner scanner = new Scanner(System.in);
		int table[] = new int[128];

		for(int i = 0; i < table.length; i++){
			table[i] = 0;
		}

		StringBuilder sb = new StringBuilder();

		while(scanner.hasNext()){
			sb.append(scanner.nextLine());
		}

		String line = sb.toString();

		for(int i = 0; i < line.length(); i++){
			table[line.charAt(i)]++;
		}

		for(int i = 0; i < 26; i++){
			System.out.printf("%c : %d\n", 'a'+i,table['a'+i]+table['a'+i-32]);
		}
	}
} import java.util.Scanner; Scanner java.util public class Main {

	public static final int BIG_NUM  = 2000000000;
	public static final int MOD  = 1000000007;

	public static void main(String[] args) {

		Scanner scanner = new Scanner(System.in);
		int table[] = new int[128];

		for(int i = 0; i < table.length; i++){
			table[i] = 0;
		}

		StringBuilder sb = new StringBuilder();

		while(scanner.hasNext()){
			sb.append(scanner.nextLine());
		}

		String line = sb.toString();

		for(int i = 0; i < line.length(); i++){
			table[line.charAt(i)]++;
		}

		for(int i = 0; i < 26; i++){
			System.out.printf("%c : %d\n", 'a'+i,table['a'+i]+table['a'+i-32]);
		}
	}
} Main public static final int BIG_NUM  = 2000000000; BIG_NUM 2000000000 public static final int MOD  = 1000000007; MOD 1000000007 public static void main(String[] args) {

		Scanner scanner = new Scanner(System.in);
		int table[] = new int[128];

		for(int i = 0; i < table.length; i++){
			table[i] = 0;
		}

		StringBuilder sb = new StringBuilder();

		while(scanner.hasNext()){
			sb.append(scanner.nextLine());
		}

		String line = sb.toString();

		for(int i = 0; i < line.length(); i++){
			table[line.charAt(i)]++;
		}

		for(int i = 0; i < 26; i++){
			System.out.printf("%c : %d\n", 'a'+i,table['a'+i]+table['a'+i-32]);
		}
	} main {

		Scanner scanner = new Scanner(System.in);
		int table[] = new int[128];

		for(int i = 0; i < table.length; i++){
			table[i] = 0;
		}

		StringBuilder sb = new StringBuilder();

		while(scanner.hasNext()){
			sb.append(scanner.nextLine());
		}

		String line = sb.toString();

		for(int i = 0; i < line.length(); i++){
			table[line.charAt(i)]++;
		}

		for(int i = 0; i < 26; i++){
			System.out.printf("%c : %d\n", 'a'+i,table['a'+i]+table['a'+i-32]);
		}
	} Scanner scanner = new Scanner(System.in); scanner new Scanner(System.in) int table[] = new int[128]; table new int[128] 128 for(int i = 0; i < table.length; i++){
			table[i] = 0;
		} int i = 0; int i = 0; i 0 i < table.length i table.length table table.length i++ i++ i {
			table[i] = 0;
		} {
			table[i] = 0;
		} table[i] = 0 table[i] table i 0 StringBuilder sb = new StringBuilder(); sb new StringBuilder() while(scanner.hasNext()){
			sb.append(scanner.nextLine());
		} scanner.hasNext() scanner.hasNext scanner {
			sb.append(scanner.nextLine());
		} sb.append(scanner.nextLine()) sb.append sb scanner.nextLine() scanner.nextLine scanner String line = sb.toString(); line sb.toString() sb.toString sb for(int i = 0; i < line.length(); i++){
			table[line.charAt(i)]++;
		} int i = 0; int i = 0; i 0 i < line.length() i line.length() line.length line i++ i++ i {
			table[line.charAt(i)]++;
		} {
			table[line.charAt(i)]++;
		} table[line.charAt(i)]++ table[line.charAt(i)] table line.charAt(i) line.charAt line i for(int i = 0; i < 26; i++){
			System.out.printf("%c : %d\n", 'a'+i,table['a'+i]+table['a'+i-32]);
		} int i = 0; int i = 0; i 0 i < 26 i 26 i++ i++ i {
			System.out.printf("%c : %d\n", 'a'+i,table['a'+i]+table['a'+i-32]);
		} {
			System.out.printf("%c : %d\n", 'a'+i,table['a'+i]+table['a'+i-32]);
		} System.out.printf("%c : %d\n", 'a'+i,table['a'+i]+table['a'+i-32]) System.out.printf System.out System System.out "%c : %d\n" 'a'+i 'a' i table['a'+i]+table['a'+i-32] table['a'+i] table 'a'+i 'a' i table['a'+i-32] table 'a'+i-32 'a'+i 'a' i 32 String[] args args public class Main {

	public static final int BIG_NUM  = 2000000000;
	public static final int MOD  = 1000000007;

	public static void main(String[] args) {

		Scanner scanner = new Scanner(System.in);
		int table[] = new int[128];

		for(int i = 0; i < table.length; i++){
			table[i] = 0;
		}

		StringBuilder sb = new StringBuilder();

		while(scanner.hasNext()){
			sb.append(scanner.nextLine());
		}

		String line = sb.toString();

		for(int i = 0; i < line.length(); i++){
			table[line.charAt(i)]++;
		}

		for(int i = 0; i < 26; i++){
			System.out.printf("%c : %d\n", 'a'+i,table['a'+i]+table['a'+i-32]);
		}
	}
} public class Main {

	public static final int BIG_NUM  = 2000000000;
	public static final int MOD  = 1000000007;

	public static void main(String[] args) {

		Scanner scanner = new Scanner(System.in);
		int table[] = new int[128];

		for(int i = 0; i < table.length; i++){
			table[i] = 0;
		}

		StringBuilder sb = new StringBuilder();

		while(scanner.hasNext()){
			sb.append(scanner.nextLine());
		}

		String line = sb.toString();

		for(int i = 0; i < line.length(); i++){
			table[line.charAt(i)]++;
		}

		for(int i = 0; i < 26; i++){
			System.out.printf("%c : %d\n", 'a'+i,table['a'+i]+table['a'+i-32]);
		}
	}
} Main
import java.util.Scanner;

public class Main {

	public static final int BIG_NUM  = 2000000000;
	public static final int MOD  = 1000000007;

	public static void main(String[] args) {

		Scanner scanner = new Scanner(System.in);
		int table[] = new int[128];

		for(int i = 0; i < table.length; i++){
			table[i] = 0;
		}

		StringBuilder sb = new StringBuilder();

		while(scanner.hasNext()){
			sb.append(scanner.nextLine());
		}

		String line = sb.toString();

		for(int i = 0; i < line.length(); i++){
			table[line.charAt(i)]++;
		}

		for(int i = 0; i < 26; i++){
			System.out.printf("%c : %d\n", 'a'+i,table['a'+i]+table['a'+i-32]);
		}
	}
}
