dic = {"aaa": ["123456", 10000], "bbb": ["888888", 5000], "ccc": ["333333", 3000]}
m = input()
if m in dic.keys():
n = eval(input())
if n > dic[m][1]:
print('Insufficient Funds')
else:
print('Tranfer Success')
print('{}:{}'.format('aaa', 10000 - n))
print('{}:{}'.format(m, n + dic[m][1]))
else:
print('Wrong User')