dvixtotal divxtotal x