Aladdin. (Walt Disney.)