function main(input){
  const y=input.split("/")[0];
  const m=input.split("/")[1];
  const d=input.split("/")[2];
  var aaa =y+m+d;
  aaa=parseInt(aaa,10);
  if(aaa<20190500){
    console.log("Heisei");
  }else{
    console.log("TBD");
  }
}

main(require('fs').readFileSync('/dev/stdin', 'utf8'));