dvixtotal divixtotal