the mascot during a football game .