It’s the ninth biggest November debut ever.

"Thor: The Dark World" Is Doing Even Better In the Box Office Than Expected