7,354 P . Brasil och 5,043 P . Domingo.