mario is in the pocket with his hat on