divixtotal mario from mario bros