# include <cstdio>
# include <cstring>

using namespace std;

int main()
{
        char *s = "9012345678abcdeABCDEFGHIJKLMNfghijklmnUVWXYZxyzuvwopqrstOPQRST";
        char *p;
        int c;
        int i;
        while ((c = getchar()) != EOF)
        {
                p = strchr(s, c);
                if (!p)
                        continue;
                i = p - s + 2;
                i >= (int)strlen(s) ? i -= strlen(s) : i;
                printf("6:%c\n", s[i]);
        }

        return 0;
}