#4006. 「USACO1.3」命名那个数字 暂未评定

威斯康星州的大型牧场的主人们喜欢用连续的数字编号给奶牛们命名。

但是奶牛们并不喜欢这种看似非常方便的命名方式。

它们希望能够用它们喜欢的名字来互相称呼，而不是像这样“交个朋友吧，4734”。

现在，请你帮助可怜的牧牛人将这些奶牛的编号转换为一个与其编号有所关联的名字。

因为这些奶牛们都配有电话座机，因此请使用如下所示的电话的标准按键映射，来将数字转换为可能的字母（注意，没有 Q 和 Z）：

2: A,B,C     5: J,K,L    8: T,U,V
3: D,E,F     6: M,N,O    9: W,X,Y
4: G,H,I     7: P,R,S

现在，我们统计了一个牛可以接受的名字列表，列表中共有不到 5000 个奶牛可以接受的名字。

对于一个拥有某个编号的奶牛，它的编号通过数字与字母的映射，可以得到若干个可能的名字，请你找出这些名字中，奶牛可以接受的名字（即在名字列表中的名字）。

例如，编号 4734 可以对应如下 81 个可能的名字：

GPDG GPDH GPDI GPEG GPEH GPEI GPFG GPFH GPFI GRDG GRDH GRDI
GREG GREH GREI GRFG GRFH GRFI GSDG GSDH GSDI GSEG GSEH GSEI
GSFG GSFH GSFI HPDG HPDH HPDI HPEG HPEH HPEI HPFG HPFH HPFI
HRDG HRDH HRDI HREG HREH HREI HRFG HRFH HRFI HSDG HSDH HSDI
HSEG HSEH HSEI HSFG HSFH HSFI IPDG IPDH IPDI IPEG IPEH IPEI
IPFG IPFH IPFI IRDG IRDH IRDI IREG IREH IREI IRFG IRFH IRFI
ISDG ISDH ISDI ISEG ISEH ISEI ISFG ISFH ISFI

我们可以从这些名字中，找到在名字列表中出现过的名字，并字典顺序输出即可。

写一个程序来对给出的编号打印出所有的有效名字，如果没有则输出"NONE'' 。编号可能有12位数字。

输入文件名 namenum.in。
单独的一行包含一个编号(长度可能从1到12)

输出文件名 namenum.out。
以字典顺序输出一个有效名字的不负列表，一行一个名字。

样例输入

4734

样例输出

GREG