Is "Black hat" Black hat's real name or stage name? If it's a stage name then what is his real name?