#include<stdio.h>
#include<string.h>
char *kays[]={
    "",
    "",
    "ABC",
    "DEF",
    "GHI",
    "JKL",
    "MNO",
    "PQRS",
    "TUV",
    "WXYZ",
};
void combine(char * digits,int index,char *output){
    if(digits[index]=='\0'){
        printf("%s ",output);
        return ;
    }
    int digit=digits[index]-'0';
    char *letters=kays[digit];
    for(int i=0;i<strlen(letters);i++){
        output[index]=letters[i];
        combine(digits,index+1, output);
    }
}
int main(){
    char digits[20];
    scanf("%s ",digits);
    if(strlen(digits)==1){
        int d=digits[0]-'0';
        if(d>=2&&d<=9)
        printf("[");
        for(int i=0;i<strlen(kays[d]);i++){
            printf("%c",kays[d][i]);
            if(i!=strlen(keys[d])-1)
            printf(" , ");
        }
        if(d>=2&&d<=9)
        printf("]");
        return 0;
    }
    char output[20];
    output[strlen(digits)]='\0';
    combine(digits,0,output);
    return 0;
}