But I think the game changer was when they cast Robin Williams as the genie in Aladdin, which was, I think, the first time they'd cast a real superstar at the top of his game and celebrity in a major leading role in the film.