import itertools
def change_str(str_cal):
str_cal = str_cal.replace('11','J').replace('12','Q').replace('13','K').replace('1','A')
return str_cal
def check_str():
num =[]
cal = ['+','-','*','/']
for t in s:
if t == 'JOKER' or t == 'joker':
return "ERROR"
elif t in lst1:
num.append(lst2[lst1.index(t)])
else:
num.append(t)
cal_comb = list(itertools.product(cal,repeat=3))
num_comb = list(itertools.permutations(num,4))
cn_comb = []
for m in num_comb:
for n in cal_comb:
new_cal = m[0]
str_cal = m[0]
for i in range(3):
new_cal = str(int(eval(new_cal+n[i]+m[i+1])))
str_cal += n[i] + m[i+1]
if new_cal == '24':
return change_str(str_cal)
else:
return "NONE"
while True:
try:
s= input().split(" ")
lst1 = "JQKA"
lst2 = ['11','12','13','1']
print(check_str())
except:
break