In which case, the new Jumanji movie is now a Christmas movie.