import java.util.Scanner;

public class Main{

	public static void main(String[] args) {
		// TODO ?????????????????????????????????????????????

		Scanner scan = new Scanner(System.in);
		//??£??????????????????????????????????????°
		String strLine = "";
		boolean isContinue = true;
		while(isContinue){

			
			if(scan.hasNext()){
				String strScan = scan.nextLine();
				strLine += strScan;
				
			}else{
				scan.close();
				break;
			}



		}
		//System.out.println("strLine:" + strLine);

		//str???????§£??????char[]???????´?
		char[] aryLine= strLine.toCharArray();

		char x = 'a';
		//a???z?????§?????°?????????
		for(int j = 'a'; j <= 'z'; j++){
			//??¢????????????????????????????????????????????°
			int intCount = 0;



			for(int i = 0; i < aryLine.length; i++){

				//??§???????????£?????´???????°????????????????
				if(Character.isUpperCase(aryLine[i])){
					aryLine[i] = Character.toLowerCase(aryLine[i]);
				}
				//??¢???????????????????????????????????¢??????
				if( j == aryLine[i]){
					intCount++;
				}
			}
			String az = String.valueOf(j);
			System.out.print(x++);
			System.out.println(" : " + intCount);

		}
	}

}
/tmp/hf-datasets-cache/medium/datasets/42704881117311-config-parquet-and-info-qiankunmu-Project_CodeNet-896c9d36/hub/datasets--qiankunmu--Project_CodeNet_Python800_and_Java250/snapshots/c899fde44a77ba1cc14973ed3de064e4ff3aadc7/Project_CodeNet_Java250.tar.gz