hasse_tc to Hat