#include<stdio.h>
#include<string.h>
char*mapping[]={
    "","","ABC","DEF","GHI","JKL","MNO","PQRS","TUV","WXYZ"
    };
    void generate(char digits[], int index, char current[], int len,int*firstpinted) {
        if(index==len){
            if(*firstprinted)
            printf(", ");
            printf("%s",current);
            *firstprinted=1;
            return;
        }
        int digit=digits[index]-'0';
        char*letters=mapping[digit];
        for(int i=0;letters[i]!='\0';i++){
            current[index]=letters[i];
            current[index+1]='\0';
            generate(digits,index+1,current,len,firstprinted);
        }
    }
    int main(){
        char digits[20];
        scanf("%s", digits);
        int len =strlen(digits);
        char current[20]="";
        int firstpinted=0;
            printf("[");
            generate (digits,0,current,len,&firstpinted);
            printf("]");
            return 0;
        }