s=input()
s=int(s.replace("/",""))
print(["Heisei","TBD"][s>20190430]) s=input() s input() input s=int(s.replace("/","")) s int(s.replace("/","")) int s.replace("/","") s.replace s replace "/" "" print(["Heisei","TBD"][s>20190430]) print ["Heisei","TBD"][s>20190430] ["Heisei","TBD"] "Heisei" "TBD" s>20190430 s 20190430 s=input() input() s s=int(s.replace("/","")) int(s.replace("/","")) s
s=input()
s=int(s.replace("/",""))
print(["Heisei","TBD"][s>20190430])