import java.util.Scanner;

public class Main {

	public static void main(String[] args) {
		Scanner sc = new Scanner(System.in);
		final String[] abc = "abcdefghijklmnopqrstuvwxyz".split("");
		int[] cnt = new int[abc.length];
		
		while(sc.hasNext()){
			String[] text = sc.nextLine().split("");
			
			for(int i=0; i<text.length; i++){
				for(int j=0; j<abc.length; j++){
					if(text[i].equals(abc[j]) || text[i].equals(abc[j].toUpperCase())){
						cnt[j]++;
					break;
					}
				}
			}
		}
		
		for(int j=0; j<abc.length; j++){
			System.out.println(abc[j] + " : " + cnt[j]);
		}
	}

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

	public static void main(String[] args) {
		Scanner sc = new Scanner(System.in);
		final String[] abc = "abcdefghijklmnopqrstuvwxyz".split("");
		int[] cnt = new int[abc.length];
		
		while(sc.hasNext()){
			String[] text = sc.nextLine().split("");
			
			for(int i=0; i<text.length; i++){
				for(int j=0; j<abc.length; j++){
					if(text[i].equals(abc[j]) || text[i].equals(abc[j].toUpperCase())){
						cnt[j]++;
					break;
					}
				}
			}
		}
		
		for(int j=0; j<abc.length; j++){
			System.out.println(abc[j] + " : " + cnt[j]);
		}
	}

} Main public static void main(String[] args) {
		Scanner sc = new Scanner(System.in);
		final String[] abc = "abcdefghijklmnopqrstuvwxyz".split("");
		int[] cnt = new int[abc.length];
		
		while(sc.hasNext()){
			String[] text = sc.nextLine().split("");
			
			for(int i=0; i<text.length; i++){
				for(int j=0; j<abc.length; j++){
					if(text[i].equals(abc[j]) || text[i].equals(abc[j].toUpperCase())){
						cnt[j]++;
					break;
					}
				}
			}
		}
		
		for(int j=0; j<abc.length; j++){
			System.out.println(abc[j] + " : " + cnt[j]);
		}
	} main {
		Scanner sc = new Scanner(System.in);
		final String[] abc = "abcdefghijklmnopqrstuvwxyz".split("");
		int[] cnt = new int[abc.length];
		
		while(sc.hasNext()){
			String[] text = sc.nextLine().split("");
			
			for(int i=0; i<text.length; i++){
				for(int j=0; j<abc.length; j++){
					if(text[i].equals(abc[j]) || text[i].equals(abc[j].toUpperCase())){
						cnt[j]++;
					break;
					}
				}
			}
		}
		
		for(int j=0; j<abc.length; j++){
			System.out.println(abc[j] + " : " + cnt[j]);
		}
	} Scanner sc = new Scanner(System.in); sc new Scanner(System.in) final String[] abc = "abcdefghijklmnopqrstuvwxyz".split(""); abc "abcdefghijklmnopqrstuvwxyz".split("") "abcdefghijklmnopqrstuvwxyz".split "abcdefghijklmnopqrstuvwxyz" "" int[] cnt = new int[abc.length]; cnt new int[abc.length] abc.length abc abc.length while(sc.hasNext()){
			String[] text = sc.nextLine().split("");
			
			for(int i=0; i<text.length; i++){
				for(int j=0; j<abc.length; j++){
					if(text[i].equals(abc[j]) || text[i].equals(abc[j].toUpperCase())){
						cnt[j]++;
					break;
					}
				}
			}
		} sc.hasNext() sc.hasNext sc {
			String[] text = sc.nextLine().split("");
			
			for(int i=0; i<text.length; i++){
				for(int j=0; j<abc.length; j++){
					if(text[i].equals(abc[j]) || text[i].equals(abc[j].toUpperCase())){
						cnt[j]++;
					break;
					}
				}
			}
		} String[] text = sc.nextLine().split(""); text sc.nextLine().split("") sc.nextLine().split sc.nextLine() sc.nextLine sc "" for(int i=0; i<text.length; i++){
				for(int j=0; j<abc.length; j++){
					if(text[i].equals(abc[j]) || text[i].equals(abc[j].toUpperCase())){
						cnt[j]++;
					break;
					}
				}
			} int i=0; int i=0; i 0 i<text.length i text.length text text.length i++ i++ i {
				for(int j=0; j<abc.length; j++){
					if(text[i].equals(abc[j]) || text[i].equals(abc[j].toUpperCase())){
						cnt[j]++;
					break;
					}
				}
			} {
				for(int j=0; j<abc.length; j++){
					if(text[i].equals(abc[j]) || text[i].equals(abc[j].toUpperCase())){
						cnt[j]++;
					break;
					}
				}
			} for(int j=0; j<abc.length; j++){
					if(text[i].equals(abc[j]) || text[i].equals(abc[j].toUpperCase())){
						cnt[j]++;
					break;
					}
				} int j=0; int j=0; j 0 j<abc.length j abc.length abc abc.length j++ j++ j {
					if(text[i].equals(abc[j]) || text[i].equals(abc[j].toUpperCase())){
						cnt[j]++;
					break;
					}
				} {
					if(text[i].equals(abc[j]) || text[i].equals(abc[j].toUpperCase())){
						cnt[j]++;
					break;
					}
				} if(text[i].equals(abc[j]) || text[i].equals(abc[j].toUpperCase())){
						cnt[j]++;
					break;
					} text[i].equals(abc[j]) || text[i].equals(abc[j].toUpperCase()) text[i].equals(abc[j]) text[i].equals text[i] text i abc[j] abc j text[i].equals(abc[j].toUpperCase()) text[i].equals text[i] text i abc[j].toUpperCase() abc[j].toUpperCase abc[j] abc j {
						cnt[j]++;
					break;
					} cnt[j]++ cnt[j] cnt j break; for(int j=0; j<abc.length; j++){
			System.out.println(abc[j] + " : " + cnt[j]);
		} int j=0; int j=0; j 0 j<abc.length j abc.length abc abc.length j++ j++ j {
			System.out.println(abc[j] + " : " + cnt[j]);
		} {
			System.out.println(abc[j] + " : " + cnt[j]);
		} System.out.println(abc[j] + " : " + cnt[j]) System.out.println System.out System System.out abc[j] + " : " + cnt[j] abc[j] + " : " + cnt[j] abc[j] abc j " : " cnt[j] cnt j String[] args args public class Main {

	public static void main(String[] args) {
		Scanner sc = new Scanner(System.in);
		final String[] abc = "abcdefghijklmnopqrstuvwxyz".split("");
		int[] cnt = new int[abc.length];
		
		while(sc.hasNext()){
			String[] text = sc.nextLine().split("");
			
			for(int i=0; i<text.length; i++){
				for(int j=0; j<abc.length; j++){
					if(text[i].equals(abc[j]) || text[i].equals(abc[j].toUpperCase())){
						cnt[j]++;
					break;
					}
				}
			}
		}
		
		for(int j=0; j<abc.length; j++){
			System.out.println(abc[j] + " : " + cnt[j]);
		}
	}

} public class Main {

	public static void main(String[] args) {
		Scanner sc = new Scanner(System.in);
		final String[] abc = "abcdefghijklmnopqrstuvwxyz".split("");
		int[] cnt = new int[abc.length];
		
		while(sc.hasNext()){
			String[] text = sc.nextLine().split("");
			
			for(int i=0; i<text.length; i++){
				for(int j=0; j<abc.length; j++){
					if(text[i].equals(abc[j]) || text[i].equals(abc[j].toUpperCase())){
						cnt[j]++;
					break;
					}
				}
			}
		}
		
		for(int j=0; j<abc.length; j++){
			System.out.println(abc[j] + " : " + cnt[j]);
		}
	}

} Main
import java.util.Scanner;

public class Main {

	public static void main(String[] args) {
		Scanner sc = new Scanner(System.in);
		final String[] abc = "abcdefghijklmnopqrstuvwxyz".split("");
		int[] cnt = new int[abc.length];
		
		while(sc.hasNext()){
			String[] text = sc.nextLine().split("");
			
			for(int i=0; i<text.length; i++){
				for(int j=0; j<abc.length; j++){
					if(text[i].equals(abc[j]) || text[i].equals(abc[j].toUpperCase())){
						cnt[j]++;
					break;
					}
				}
			}
		}
		
		for(int j=0; j<abc.length; j++){
			System.out.println(abc[j] + " : " + cnt[j]);
		}
	}

}