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

int main()
{
    char buf[100], *name[] = {"Thymine", "Cytosine", "Adenine", "Guanine"}, sname[] = "tcag", *p;
    int i, cnt[4] = {0};

    scanf("%s", buf);
    for (i = 0; buf[i]; ++i)
    {
        p = strchr(sname, buf[i]);
        if (p)++cnt[p - sname];
    }
    for (i = 0; i < 4; ++i)
        printf("%s (%c) : %d\n", name[i], sname[i], cnt[i]);
    
    return 0;
}