#include<stdio.h>
char *map[]={"","","ABC","DEF","GHI","JKL","MNO","PQRS","TUV","WXYZ"};
void solve(char *d,int idx,char*cur){
    if(d[idx]=='\0'){
        printf("%s",cur);
        return;
    }          
    char*s=map[d[idx]-'0'];
    for(int i=0;s[i];i++){
        cur[idx]=s[i];
        solve(d,idx+1,cur);
        
    }
}
int main(){
    char d[20],cur[20];
    scanf("%s",d);
    cur[strlen(d)]='\0';
    solve(d,0,cur);
}