dvixtotal seriesdivxtotal