dvixtotal divxtottal