#include<stdio.h>
#include<string.h>
#include<ctype.h>
char *mapping[]={
    "","","ABC","DEF","GHI","JKL",
    "MNO","PQRS","TUV","WXYZ"
};
void generate(char *digits,int index,char *current){
    if(digits[index]=='\0'){
        printf("%s",current);
        return;
    }
    int digit=digits[index]-'0';
    char *letter=mapping[digits[index]-'0'];
    for(int i=0;letter[i]!='\0';i++){
        current[index]=letters[i];
        generate(digits,index+1,current);
    }
}
int main(){
    char digits[105];
    scanf("%s",digits);
    for(int i=0;digits[i]!='\0';i++){
        if(!isdigit(digits[i])||digits[i]<'2'||digits[i>'9']){
            printf("invalied input");
            return 0;
        }
        
    }
    int len = strlen(digit);
    if (len==0)return 0;
    
    char current[150];
    current[len]='\0';
    
    generate(digits,0,current);
    printf("[");
    for(int i=0;i<count;i++){
        printf("%s",result[i]);
        if(i!=count-1)printf(",");
    }
    printf("]");
    return 0;
}