dvixtotal total divx