#include<stdio.h>
#include<stdlib.h>
#include<string.h>
char *key[]={" "," ","ABC","DEF","GHI","JKL","MNO","PQRS","TUV","WXYZ"};
void combine(char *digits,int index,char *current,  int *count)
{
    if (digits[index]=='\0')
    {
        if(*count==0)
        {
            printf("[%s",current);
        }
        else{
            printf(",%s",current);
        }
        (*count)++;
        return;
    }
    int digit=digits[index]-'0';
    char *letters=key[digit];
        for(int i=0; letters[i]!='\0';i++)
        {
             current[index]=letters[i];
             combine(digits,index+1,current,count);
        }
}
     void letcombine(char *digits)
     {
         if(strlen(digits)==0)return;
         char count=0;
         combine(digits,0,current,&count);
         printf("]");
         free(current);
     }
int main()
{
    char digits[10];
    fgets(digits,sizeof(digits),stdin);
    letcombine(digits);
    printf("\n");
    return 0;
}