#include <stdio.h>
#include <string.h>

int main()
{
    char str_in[30];
    const char punct[] = ".,:!?-;";
    int pcount[sizeof(punct)/sizeof(punct[0])] = {0};
    fgets(str_in,30,stdin);
    for(int i = 0;str_in[i];i++)
    {
        const char * c = strchr(punct,str_in[i]);
        if (c) pcount[c-punct]++;
    }
    for(int i = 0;punct[i];i++)
        printf("%c : %d\n",punct[i],pcount[i]);
}