//#include<stdio.h>
//#define MaxSize 200
//int queue[MaxSize]= {};
//int front = -1;
//int rear = -1;
//int top = -1;
//int pop()
//{
// if(front!=-1)
// {
// return [front--];
// }
//}
//int Enqueue(int n) // O
//{
// if((rear + 1) % MaxSize != front){
// queue[rear] = n;
// rear++;
// rear = rear % MaxSize;
// return 0;
// }
// else{
// return -1;
// }
//}
//int Dequeue(int *n)
//{
// if(rear!=front){
// *n = queue[front];
// front++;
// front = front % MaxSize;
// return 0;
// }
// else{
// return -1;
// }
//}
//int main()
//{
// int n;
// char a[1000];
// int i, j;
// scanf("%d\n", &n);
// for(i=1; i<=n; i++)
// {
// gets(a);
//
// if(a[0]=='p'&&a[1]=='u')
// {
// int num = 0;
//
// for(j=6; a[j]!=' '; j++)
// {
// num=num*10+a[j]-'0';
// }
// Enqueue(num);
// }
//
// else if(a[0]=='f')
// {
// if(rear<0)
// {
// printf("-1\n");
// }
// else
// {
// printf("%d", queue[front]);
// }
// }
//
// else if(a[0]=='b')
// {
// if(front<0)
// {
// printf("-1\n");
// }
// else
// {
// printf("%d\n", queue[rear]);
// }
// }
//
// else if(a[0]=='p'&&a[1]=='o')
// {
// pop();
// }
//
// else if(a[0]=='s')
// {
// printf("%d\n", rear+1);
// }
//
// else if(a[0]=='e')
// {
// if(front==rear)
// {
// printf("true\n");
// }
// else
// {
// printf("false\n");
// }
// }
// }
//}
//#include<stdio.h>
//int main()
//{
// int n;
// int sum = 0;
// int arr [101][101] = {};
// int i, j;
// int k = 0;
// scanf("%d", &n);
// k = n;
// for(i = 0; i < n; i ++)
// {
// for(j = 0; j < n; j++)
// {
// if(i%2==0)
// {
// arr[i][j]=k;
// k--;
// sum++;
// if(sum == n)
// {
// sum = 0;
// k = k +n + 1;
// }
// }
// else
// {
// arr[i][j]=k;
// k++;
// sum++;
// if(sum == n)
// {
// sum = 0;
// k = k + n -1;
// }
// }
// }
// }
// for(i = 0; i < n; i ++)
// {
// for(j = 0; j < n; j++)
// {
// printf("%d ", arr[i][j]);
// }
// printf("\n");
// }
//}
//#include<stdio.h>
//int main()
//{
// int n;
// int sum = 0;
// int arr [101][101] = {};
// int i, j;
// int k = 0;
// scanf("%d", &n);
// k = 1;
// for(i = 0; i < n; i ++)
// {
// for(j = 0; j < n; j++)
// {
// if(i%2==0)
// {
// arr[j][i]=k;
// k++;
// sum++;
// if(sum == n)
// {
// sum = 0;
// k = k +n - 1;
// }
// }
// else
// {
// arr[j][i]=k;
// k--;
// sum++;
// if(sum == n)
// {
// sum = 0;
// k = k + n +1;
// }
// }
// }
// }
// for(i = 0; i < n; i ++)
// {
// for(j = 0; j < n; j++)
// {
// printf("%d ", arr[i][j]);
// }
// printf("\n");
// }
//}
//#include<stdio.h>
//int main()
//{
// int n;
// int sum = 0;
// int arr [101][101] = {};
// int i, j;
// int k = 0;
// scanf("%d", &n);
// k = n;
// for(i = 0; i < n; i ++)
// {
// for(j = 0; j < n; j++)
// {
// if(i%2==0)
// {
// arr[j][i]=k;
// k--;
// sum++;
// if(sum == n)
// {
// sum = 0;
// k = k + n+1;
// }
// }
// else
// {
// arr[j][i]=k;
// k++;
// sum++;
// if(sum == n)
// {
// sum = 0;
// k = k + n-1;
// }
// }
// }
// }
// for(i = 0; i < n; i ++)
// {
// for(j = 0; j < n; j++)
// {
// printf("%d ", arr[i][j]);
// }
// printf("\n");
// }
//}
#include<stdio.h>
#include<string.h>
int main()
{
char arr [91] = {};
int i, j;
int len = 0;
int b = 0;
int a[30] = {};
scanf("%[^\n]s", arr);
len = strlen(arr);
for(j = 0; j < len ; j++)
{
for(i = 'a'; i <= 'z'; i ++)
{
if(arr[j] == i)
{
a[(int)i - 97]++;
}
else if(arr[j] == ' ')
{
}
}
}
for(i = 'a'; i <= 'z'; i ++)
{
printf("%c: %d\n", i, a[b]);
b++;
}
}