var tbd = "TBD";
var hs = "Heisei";

function Main(input){
	input = input.split("/").map(a=>~~a);
  var y = input[0];
  var m = input[1];
  var d = input[2];
  
  if(y >= 2020)return tbd;
  if(y <= 2018)return hs;
  
  if(m >= 5)return tbd;
  
  return hs;
}

// If you are interested in the algorithms I used, 
// there is no need to read down from this line.

((b,c,d)=>"undefined"!=typeof require?console.log(Main(require("fs").readFileSync("/dev/stdin","utf8"))):[b=b.split("\n").slice(1,-1).join("\n"),c=function(){try{return Main(b)}catch(f){return f.stack||f.message}}(),d=typeof c,"string"==d||(c=JSON.stringify(c)),$("<form>").append([[10,b],0,[1,d],0,[10,c]].map(f=>$(f?"<textarea>":"<br>",f&&{rows:f[0],cols:40,text:f[1]}))).appendTo("body")])(`
2019/11/01
`);