dvixtotal divex total