divixtotal divxtotl