import java.io.BufferedReader;
import java.io.InputStreamReader;
import java.io.IOException;

class Main {
    public static void main(String[] args) {
        BufferedReader buf = new BufferedReader(new InputStreamReader(System.in));
        String line;
        int c;
        int[] amounts = new int[26];

        try {
            while ((line = buf.readLine()) != null) {
                for (int j = 0; j < line.length(); j++) {
                    c = (int)line.charAt(j);
                        for (int i = 0; i < 26; i++) {
                            if (c == 97 + i || c == 65 + i) { // 97+の方で小文字と、65+の方で大文字との合致を判定
                                amounts[i] += 1;
                            }
                    }
                }
            }
            for (int i = 0; i < 26; i++) {
                System.out.println((char)(i + 97) + " : " + amounts[i]);
            }
        } catch (IOException e) {
            e.printStackTrace();
        }
    }
}
/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