var stdin = require("fs").readFileSync("/dev/stdin", "utf8");
stdin = stdin.trim().split("\n").reverse();
function input(){return stdin.pop()}
var stdout = [];


s = input().split("/")
if (parseInt(s[1], 10) < 5){
    stdout.push("Heisei")
}else{
    stdout.push("TBD")
}


stdout = stdout.join(" ");
console.log(stdout);