tododivx divex total