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