import sys
readline = sys.stdin.readline
t1 = readline().strip()
t2 = readline().strip()
print("({0}{1}{0})/".format(t1, t2))