mario is #1