Walt Disney's Gulliver Mickey.