What is his real name? I need it for trivia.