dvixtotal divx a total