rt

/*
ID: 13738731
TASK: namenum
LANG: C++
*/
#include<bits/stdc++.h>
using namespace std;
char s[15],a[]={"22233344455566670778889990"},x[14];
int flag,i,co;
int main(){
	freopen("namenum.in","r",stdin);
	freopen("namenum.out","w",stdout);
	FILE *p;
	scanf("%s",s);
	p=fopen("NameThatNumber.dic","r");
	while(fscanf(p,"%s",x)!=EOF){
		flag=0;
		if(strlen(s)==strlen(x)){
			for(int i=0;i<strlen(s);i++)
			if(s[i]!=a[x[i]-'A']){
				flag=1;
				break;
			}
			if(!flag){
				printf("%s\n",x);
				co++;
			}
		}
		
	}
	if(!co)printf("NONE\n");
	fclose(p);
	return 0;
}