import java.util.*;
import java.text.SimpleDateFormat;
 
public class Main {
	public static void main(String[] args){
		Scanner sc = new Scanner(System.in);
        SimpleDateFormat format = new SimpleDateFormat("yyyy/MM/dd");
        try {
          Date date = format.parse(sc.next());
          Date last = format.parse("2019/04/30");
    
		  // 出力
		  System.out.println(date.after(last) ? "TBD" : "Heisei");
        } catch (Exception e) {
        }
	}
} import java.util.*; util.* java import java.text.SimpleDateFormat; SimpleDateFormat java.text public class Main {
	public static void main(String[] args){
		Scanner sc = new Scanner(System.in);
        SimpleDateFormat format = new SimpleDateFormat("yyyy/MM/dd");
        try {
          Date date = format.parse(sc.next());
          Date last = format.parse("2019/04/30");
    
		  // 出力
		  System.out.println(date.after(last) ? "TBD" : "Heisei");
        } catch (Exception e) {
        }
	}
} Main public static void main(String[] args){
		Scanner sc = new Scanner(System.in);
        SimpleDateFormat format = new SimpleDateFormat("yyyy/MM/dd");
        try {
          Date date = format.parse(sc.next());
          Date last = format.parse("2019/04/30");
    
		  // 出力
		  System.out.println(date.after(last) ? "TBD" : "Heisei");
        } catch (Exception e) {
        }
	} main {
		Scanner sc = new Scanner(System.in);
        SimpleDateFormat format = new SimpleDateFormat("yyyy/MM/dd");
        try {
          Date date = format.parse(sc.next());
          Date last = format.parse("2019/04/30");
    
		  // 出力
		  System.out.println(date.after(last) ? "TBD" : "Heisei");
        } catch (Exception e) {
        }
	} Scanner sc = new Scanner(System.in); sc new Scanner(System.in) SimpleDateFormat format = new SimpleDateFormat("yyyy/MM/dd"); format new SimpleDateFormat("yyyy/MM/dd") try {
          Date date = format.parse(sc.next());
          Date last = format.parse("2019/04/30");
    
		  // 出力
		  System.out.println(date.after(last) ? "TBD" : "Heisei");
        } catch (Exception e) {
        } catch (Exception e) {
        } Exception e {
        } {
          Date date = format.parse(sc.next());
          Date last = format.parse("2019/04/30");
    
		  // 出力
		  System.out.println(date.after(last) ? "TBD" : "Heisei");
        } Date date = format.parse(sc.next()); date format.parse(sc.next()) format.parse format sc.next() sc.next sc Date last = format.parse("2019/04/30"); last format.parse("2019/04/30") format.parse format "2019/04/30" System.out.println(date.after(last) ? "TBD" : "Heisei") System.out.println System.out System System.out date.after(last) ? "TBD" : "Heisei" date.after(last) date.after date last "TBD" "Heisei" String[] args args public class Main {
	public static void main(String[] args){
		Scanner sc = new Scanner(System.in);
        SimpleDateFormat format = new SimpleDateFormat("yyyy/MM/dd");
        try {
          Date date = format.parse(sc.next());
          Date last = format.parse("2019/04/30");
    
		  // 出力
		  System.out.println(date.after(last) ? "TBD" : "Heisei");
        } catch (Exception e) {
        }
	}
} public class Main {
	public static void main(String[] args){
		Scanner sc = new Scanner(System.in);
        SimpleDateFormat format = new SimpleDateFormat("yyyy/MM/dd");
        try {
          Date date = format.parse(sc.next());
          Date last = format.parse("2019/04/30");
    
		  // 出力
		  System.out.println(date.after(last) ? "TBD" : "Heisei");
        } catch (Exception e) {
        }
	}
} Main
import java.util.*;
import java.text.SimpleDateFormat;
 
public class Main {
	public static void main(String[] args){
		Scanner sc = new Scanner(System.in);
        SimpleDateFormat format = new SimpleDateFormat("yyyy/MM/dd");
        try {
          Date date = format.parse(sc.next());
          Date last = format.parse("2019/04/30");
    
		  // 出力
		  System.out.println(date.after(last) ? "TBD" : "Heisei");
        } catch (Exception e) {
        }
	}
}