import java.util.Scanner;

public class Main {
	public static void main(String[] args)
	{
		Scanner scan = new Scanner(System.in);
		scan.useDelimiter("\\n");
		String str1;
		char[] box = new char[1200];
		String str2 = "abcdefghijklmnopqrstuvwxyz";
		char[] az = str2.toCharArray();
		int[] ans = new int[26];
		
		do
		{
			str1 = scan.next();
			box = str1.toCharArray();
			
			for(int i = 0;i < box.length;i++)
			{
				if(Character.isUpperCase(box[i])){
					box[i] = Character.toLowerCase(box[i]);
				}
				
				for(int j = 0;j < 26;j++)
				{
					if(box[i] == az[j])
					{
						ans[j]++;
					}
				}
			}
		}while(scan.hasNext());
		
		for(int i = 0;i < 26;i++)
		{
			System.out.println(az[i] + " : " + ans[i]);
		}
	}
} import java.util.Scanner; Scanner java.util public class Main {
	public static void main(String[] args)
	{
		Scanner scan = new Scanner(System.in);
		scan.useDelimiter("\\n");
		String str1;
		char[] box = new char[1200];
		String str2 = "abcdefghijklmnopqrstuvwxyz";
		char[] az = str2.toCharArray();
		int[] ans = new int[26];
		
		do
		{
			str1 = scan.next();
			box = str1.toCharArray();
			
			for(int i = 0;i < box.length;i++)
			{
				if(Character.isUpperCase(box[i])){
					box[i] = Character.toLowerCase(box[i]);
				}
				
				for(int j = 0;j < 26;j++)
				{
					if(box[i] == az[j])
					{
						ans[j]++;
					}
				}
			}
		}while(scan.hasNext());
		
		for(int i = 0;i < 26;i++)
		{
			System.out.println(az[i] + " : " + ans[i]);
		}
	}
} Main public static void main(String[] args)
	{
		Scanner scan = new Scanner(System.in);
		scan.useDelimiter("\\n");
		String str1;
		char[] box = new char[1200];
		String str2 = "abcdefghijklmnopqrstuvwxyz";
		char[] az = str2.toCharArray();
		int[] ans = new int[26];
		
		do
		{
			str1 = scan.next();
			box = str1.toCharArray();
			
			for(int i = 0;i < box.length;i++)
			{
				if(Character.isUpperCase(box[i])){
					box[i] = Character.toLowerCase(box[i]);
				}
				
				for(int j = 0;j < 26;j++)
				{
					if(box[i] == az[j])
					{
						ans[j]++;
					}
				}
			}
		}while(scan.hasNext());
		
		for(int i = 0;i < 26;i++)
		{
			System.out.println(az[i] + " : " + ans[i]);
		}
	} main {
		Scanner scan = new Scanner(System.in);
		scan.useDelimiter("\\n");
		String str1;
		char[] box = new char[1200];
		String str2 = "abcdefghijklmnopqrstuvwxyz";
		char[] az = str2.toCharArray();
		int[] ans = new int[26];
		
		do
		{
			str1 = scan.next();
			box = str1.toCharArray();
			
			for(int i = 0;i < box.length;i++)
			{
				if(Character.isUpperCase(box[i])){
					box[i] = Character.toLowerCase(box[i]);
				}
				
				for(int j = 0;j < 26;j++)
				{
					if(box[i] == az[j])
					{
						ans[j]++;
					}
				}
			}
		}while(scan.hasNext());
		
		for(int i = 0;i < 26;i++)
		{
			System.out.println(az[i] + " : " + ans[i]);
		}
	} Scanner scan = new Scanner(System.in); scan new Scanner(System.in) scan.useDelimiter("\\n") scan.useDelimiter scan "\\n" String str1; str1 char[] box = new char[1200]; box new char[1200] 1200 String str2 = "abcdefghijklmnopqrstuvwxyz"; str2 "abcdefghijklmnopqrstuvwxyz" char[] az = str2.toCharArray(); az str2.toCharArray() str2.toCharArray str2 int[] ans = new int[26]; ans new int[26] 26 do
		{
			str1 = scan.next();
			box = str1.toCharArray();
			
			for(int i = 0;i < box.length;i++)
			{
				if(Character.isUpperCase(box[i])){
					box[i] = Character.toLowerCase(box[i]);
				}
				
				for(int j = 0;j < 26;j++)
				{
					if(box[i] == az[j])
					{
						ans[j]++;
					}
				}
			}
		}while(scan.hasNext()); scan.hasNext() scan.hasNext scan {
			str1 = scan.next();
			box = str1.toCharArray();
			
			for(int i = 0;i < box.length;i++)
			{
				if(Character.isUpperCase(box[i])){
					box[i] = Character.toLowerCase(box[i]);
				}
				
				for(int j = 0;j < 26;j++)
				{
					if(box[i] == az[j])
					{
						ans[j]++;
					}
				}
			}
		} str1 = scan.next() str1 scan.next() scan.next scan box = str1.toCharArray() box str1.toCharArray() str1.toCharArray str1 for(int i = 0;i < box.length;i++)
			{
				if(Character.isUpperCase(box[i])){
					box[i] = Character.toLowerCase(box[i]);
				}
				
				for(int j = 0;j < 26;j++)
				{
					if(box[i] == az[j])
					{
						ans[j]++;
					}
				}
			} int i = 0; int i = 0; i 0 i < box.length i box.length box box.length i++ i++ i {
				if(Character.isUpperCase(box[i])){
					box[i] = Character.toLowerCase(box[i]);
				}
				
				for(int j = 0;j < 26;j++)
				{
					if(box[i] == az[j])
					{
						ans[j]++;
					}
				}
			} {
				if(Character.isUpperCase(box[i])){
					box[i] = Character.toLowerCase(box[i]);
				}
				
				for(int j = 0;j < 26;j++)
				{
					if(box[i] == az[j])
					{
						ans[j]++;
					}
				}
			} if(Character.isUpperCase(box[i])){
					box[i] = Character.toLowerCase(box[i]);
				} Character.isUpperCase(box[i]) Character.isUpperCase Character box[i] box i {
					box[i] = Character.toLowerCase(box[i]);
				} box[i] = Character.toLowerCase(box[i]) box[i] box i Character.toLowerCase(box[i]) Character.toLowerCase Character box[i] box i for(int j = 0;j < 26;j++)
				{
					if(box[i] == az[j])
					{
						ans[j]++;
					}
				} int j = 0; int j = 0; j 0 j < 26 j 26 j++ j++ j {
					if(box[i] == az[j])
					{
						ans[j]++;
					}
				} {
					if(box[i] == az[j])
					{
						ans[j]++;
					}
				} if(box[i] == az[j])
					{
						ans[j]++;
					} box[i] == az[j] box[i] box i az[j] az j {
						ans[j]++;
					} ans[j]++ ans[j] ans j for(int i = 0;i < 26;i++)
		{
			System.out.println(az[i] + " : " + ans[i]);
		} int i = 0; int i = 0; i 0 i < 26 i 26 i++ i++ i {
			System.out.println(az[i] + " : " + ans[i]);
		} {
			System.out.println(az[i] + " : " + ans[i]);
		} System.out.println(az[i] + " : " + ans[i]) System.out.println System.out System System.out az[i] + " : " + ans[i] az[i] + " : " + ans[i] az[i] az i " : " ans[i] ans i String[] args args public class Main {
	public static void main(String[] args)
	{
		Scanner scan = new Scanner(System.in);
		scan.useDelimiter("\\n");
		String str1;
		char[] box = new char[1200];
		String str2 = "abcdefghijklmnopqrstuvwxyz";
		char[] az = str2.toCharArray();
		int[] ans = new int[26];
		
		do
		{
			str1 = scan.next();
			box = str1.toCharArray();
			
			for(int i = 0;i < box.length;i++)
			{
				if(Character.isUpperCase(box[i])){
					box[i] = Character.toLowerCase(box[i]);
				}
				
				for(int j = 0;j < 26;j++)
				{
					if(box[i] == az[j])
					{
						ans[j]++;
					}
				}
			}
		}while(scan.hasNext());
		
		for(int i = 0;i < 26;i++)
		{
			System.out.println(az[i] + " : " + ans[i]);
		}
	}
} public class Main {
	public static void main(String[] args)
	{
		Scanner scan = new Scanner(System.in);
		scan.useDelimiter("\\n");
		String str1;
		char[] box = new char[1200];
		String str2 = "abcdefghijklmnopqrstuvwxyz";
		char[] az = str2.toCharArray();
		int[] ans = new int[26];
		
		do
		{
			str1 = scan.next();
			box = str1.toCharArray();
			
			for(int i = 0;i < box.length;i++)
			{
				if(Character.isUpperCase(box[i])){
					box[i] = Character.toLowerCase(box[i]);
				}
				
				for(int j = 0;j < 26;j++)
				{
					if(box[i] == az[j])
					{
						ans[j]++;
					}
				}
			}
		}while(scan.hasNext());
		
		for(int i = 0;i < 26;i++)
		{
			System.out.println(az[i] + " : " + ans[i]);
		}
	}
} Main
import java.util.Scanner;

public class Main {
	public static void main(String[] args)
	{
		Scanner scan = new Scanner(System.in);
		scan.useDelimiter("\\n");
		String str1;
		char[] box = new char[1200];
		String str2 = "abcdefghijklmnopqrstuvwxyz";
		char[] az = str2.toCharArray();
		int[] ans = new int[26];
		
		do
		{
			str1 = scan.next();
			box = str1.toCharArray();
			
			for(int i = 0;i < box.length;i++)
			{
				if(Character.isUpperCase(box[i])){
					box[i] = Character.toLowerCase(box[i]);
				}
				
				for(int j = 0;j < 26;j++)
				{
					if(box[i] == az[j])
					{
						ans[j]++;
					}
				}
			}
		}while(scan.hasNext());
		
		for(int i = 0;i < 26;i++)
		{
			System.out.println(az[i] + " : " + ans[i]);
		}
	}
}