const input = require('fs').readFileSync('/dev/stdin', 'utf8');

const nenn = Number(input.split('').slice(0, 4).join(''));

const month = Number(input.split('').slice(5, 7).join(''));

const hi = Number(input.split('').slice(8, 10).join(''));

if (nenn < 2019) {
  console.log('Heisei');
} else if(month < 5) {
  console.log('Heisei');
} else {
  console.log('TBD');
}