divxtotal cuantos trabajadores tiene seat