I was surprised to learn that’s the highest grossing animated film of all time.