时间限制：1秒　　内存限制：256M

---

【问题描述】

　　塔.拉夏的古墓一共有七种不同的符号，分别用A,B,C,D,E,F,G表示。每个古墓中分别封印着一种力量，用1,2,3,4,5,6,7表示。为了防止以后有人取得这些力量，赫拉蒂姆将这些对应的关系全部隐藏起来了。
　　为了获得这七种力量，你终于找到了一点线索：一个古代赫拉蒂姆留下的式子。这个式子表示了七种力量对应的关系。经过破译，终于知道将七种符号所表示的力量的代号分别代进式子种，使得等式成立的，就是开启封印的钥匙。
　　写一个程序解开这个谜题。

【输入格式】

　　一行一个字符串，为一个只有变量A,B,C,D,E,F,G的式子。式子中只含有字母、加、减、乘号以及括号和一个等号，并且"ABC"表示A*100+B*10+C，字符串长度步超过100.

【输出格式】

　　一行，输出对应等式的解。如果有多种可能，输出ABCDEFG表示十进制数最小的一个。输入保证有解。

【输入输出样例】

　Input

(A+B)*C-E*(C+D)=EF

　Output

(2+6)*7-1*(7+5)=44

【数据限制】

　　字符串长度步超过100

【来源】

　　Mr.he