the rock as mario, in jumanji